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 <[email protected]> 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 _______________________________________________ MediaWiki-l mailing list To unsubscribe, go to: https://lists.wikimedia.org/mailman/listinfo/mediawiki-l
