Remove unused globals
authorSam Reed <reedy@users.mediawiki.org>
Fri, 1 Jul 2011 02:58:42 +0000 (02:58 +0000)
committerSam Reed <reedy@users.mediawiki.org>
Fri, 1 Jul 2011 02:58:42 +0000 (02:58 +0000)
commitcc464e2cfb2c181467127e66376a675ed9e947cd
tree6ed4c892528e9c672b619e98cbecd731188a76f8
parent4720e1d4e38a07ad011a3f1fca26a7edd6243a1e
Remove unused globals
includes/Preferences.php
includes/specials/SpecialUndelete.php
includes/specials/SpecialUserlogin.php