Thread:Project:Support desk/Problem calling a special search page from the standard page search box

I previously implemented a special search page for a MediaWiki 1.17 install which works fine.

I now tried the same with the latest MediaWiki 1.25.1. The page by itself also works fine, except that it cannot be called by the standard page search box. I believe the problem lies in the handling of "search' in the parameters to index.php, i.e. from the docs:

"search - if non-blank (and if searches are enabled), override all other parameters and perform a search"

When the usual page search box is used, it generates an url of the form:

localhost/mediawiki/index.php?title=Special:MySearch&search=test&go=Go

This url itself has a "search" parameter to index.php, so it is called repeatedly, ending in "This web page has a redirect loop". How can I prevent this and get the url to load the Special:MySearch page?

MediaWiki	1.25.1 PHP	5.5.9-1ubuntu4.11 (apache2handler) MariaDB	10.0.20-MariaDB-1~trusty