Extension:Multi-select Namespace Search

Have you ever been frustrated at namespace search checkboxes (see bug 10718)? I know I have. A multi-select menu (list box) makes more sense here, I believe.

This "extension" is more of 2 rewrites of files in the includes directory: SpecialSearch.php and SpecialPreferences.php which contain namespace checkboxes. This hack was tested on MediaWiki 1.9.3 so it may not work for older/newer versions. Please mention here if it does.

Unfortunately, not being that much of a PHP coder, I haven't been able to figure out how to get the select form to output the option name so it equals ns0=1&ns1=1, etc. The select form will output its name but the option fields won't, for some reason. If you can figure it out, please edit this code accordingly. Thanks.


 * Thanks to Tim Laqua for figuring it out! Now to figure out how to add multiple authors to the extension template...

SpecialSearch.php
In this file, functions changed are:

SpecialPreferences.php
to-do

Installation
Copy over the above functions into ../includes/SpecialSearch.php</tt>. I'd advise making a backup of the existing file.