Throw a fieldset around the new search options.
[mediawiki.git] / config / 
tree80020de6adbbc1f2aab1b4875dd10ebee36b8082
drwxr-xr-x   ..
-rw-r--r-- 70213 index.php
-rw-r--r-- 68 index.php5