Removed $wgUseOldSearchUI and old search ui class
authorAaron Schulz <aaron@users.mediawiki.org>
Thu, 30 Jul 2009 17:36:20 +0000 (17:36 +0000)
committerAaron Schulz <aaron@users.mediawiki.org>
Thu, 30 Jul 2009 17:36:20 +0000 (17:36 +0000)
commitbde3b1f926a8788a12d07f0c00d74c5feab6f372
tree243de62381271978b5cc9122ceeb52713fd202e5
parent2a3331df0ddee803eaebf4a95d011763f1c3612f
Removed $wgUseOldSearchUI and old search ui class
includes/DefaultSettings.php
includes/specials/SpecialSearch.php