I'm not sure what you propose. If it means giving the search page another name, that
won't work. That leads to an error 'Too many redirects'.
Changing SpecialSearch.php will work of course, but that is not the idea of an extension,
is it?
On 25 Jul 2016, at 17:01, Bartosz Dziewoński
<matma.rex(a)gmail.com> wrote:
You could probably take over the core Special:Search entirely and replace it with your
own special page with the 'SpecialPage_initList' hook from SpecialPageFactory. (I
didn't test that it works.)
--
Bartosz Dziewoński
_______________________________________________
MediaWiki-l mailing list
To unsubscribe, go to:
https://lists.wikimedia.org/mailman/listinfo/mediawiki-l