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)
commit1fde3687d4c9b80bd3fe4337bc2ce5cc50fe0f07
tree60363c6125738beee68c4f6b8edd42b5b2f9115e
parent4e507929fb34ca60761af48396a5a12485b7628d
Fix case of the new file added in r94289

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