Fixed error in LocalRepo::findFiles()
authorAaron Schulz <aschulz@wikimedia.org>
Tue, 17 Dec 2013 21:09:21 +0000 (13:09 -0800)
committerAaron Schulz <aschulz@wikimedia.org>
Tue, 17 Dec 2013 23:56:31 +0000 (15:56 -0800)
commitba4a09d209ba6f4b7e169ea46c551c5cdf12df5d
tree57158690b7577a5077bb1706b447fc842094fcd5
parent83044a8e42bda7ac4d493f7487c9899f36c88c17
Fixed error in LocalRepo::findFiles()

* This occured if the client wiki did not capitalize, and the
  repo did, and a file was searched under the un-capitized name.

bug: 58587
Change-Id: I657c96c6d06af12866c71df194e18feb9ad53bd9
includes/filerepo/LocalRepo.php