Revert unintended change in r88620
authorPlatonides <platonides@users.mediawiki.org>
Sun, 22 May 2011 23:36:17 +0000 (23:36 +0000)
committerPlatonides <platonides@users.mediawiki.org>
Sun, 22 May 2011 23:36:17 +0000 (23:36 +0000)
commit3db279c3743da0f2ed05ff2d1d18879dcf83bce1
treeb4dd0981db83c71e3d608f32c4012910023b078e
parentd88058c0d562d512ab23ac14f92b0017493bfb43
Revert unintended change in r88620
includes/DefaultSettings.php