Follow up r75542, in the odd case that Maintenance.php wasn't already loaded.
authorPlatonides <platonides@users.mediawiki.org>
Sun, 31 Oct 2010 19:07:05 +0000 (19:07 +0000)
committerPlatonides <platonides@users.mediawiki.org>
Sun, 31 Oct 2010 19:07:05 +0000 (19:07 +0000)
commit168ffc72a5ad7a349563b5ecf32edd3548c2ea39
treea8cd760fb83826e2d6c743a8088577b747e73bf3
parentbed73525be5fb9c61117741ed691ae0a02490535
Follow up r75542, in the odd case that Maintenance.php wasn't already loaded.
includes/installer/DatabaseUpdater.php