Added a script to find missing LocalRepo files
authorAaron Schulz <aschulz@wikimedia.org>
Wed, 6 Aug 2014 13:01:56 +0000 (06:01 -0700)
committerReedy <reedy@wikimedia.org>
Thu, 7 Aug 2014 15:25:16 +0000 (15:25 +0000)
commit0fe26747ddfe227109fe63c38efc5abee3544050
treefa5ad035e2004e07e1d374ca4b1ae3bf29fbee9d
parent9e4caa6bd9279ee88d6a099d83724de4cc5b7428
Added a script to find missing LocalRepo files

Change-Id: I507bd43c6a74568ce94844146c9e20a4d8d17d46
maintenance/findMissingFiles.php [new file with mode: 0644]