MediaWiki:Common.js/search.js: Difference between revisions

New page: →‎<pre>: //<source lang="JavaScript"> /** Change Special:Search to use a drop-down menu ******************************************************* * * Description: Change Special:Sea...
(New page: →‎<pre>: //<source lang="JavaScript"> /** Change Special:Search to use a drop-down menu ******************************************************* * * Description: Change Special:Sea...)
(No difference)