Fix case of the new file added in r94289
authorPlatonides <platonides@users.mediawiki.org>
Thu, 11 Aug 2011 22:32:29 +0000 (22:32 +0000)
committerPlatonides <platonides@users.mediawiki.org>
Thu, 11 Aug 2011 22:32:29 +0000 (22:32 +0000)
Produced the following fatal on Unix systems when trying to update:
Warning: require(maintenance/PopulateRevisionSha1.php): failed to open stream: No such file or directory in includes/AutoLoader.php on line 922
Fatal error: require(): Failed opening required 'maintenance/PopulateRevisionSha1.php' in includes/AutoLoader.php on line 922

includes/AutoLoader.php

index 1e12280..c31e423 100644 (file)
@@ -838,7 +838,7 @@ $wgAutoloadLocalClasses = array(
        'PopulateLogUsertext' => 'maintenance/populateLogUsertext.php',
        'PopulateParentId' => 'maintenance/populateParentId.php',
        'PopulateRevisionLength' => 'maintenance/populateRevisionLength.php',
-       'PopulateRevisionSha1' => 'maintenance/PopulateRevisionSha1.php',
+       'PopulateRevisionSha1' => 'maintenance/populateRevisionSha1.php',
        'SevenZipStream' => 'maintenance/7zip.inc',
        'Sqlite' => 'maintenance/sqlite.inc',
        'UpdateCollation' => 'maintenance/updateCollation.php',