Merge "Remove unused local variable"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 5 Dec 2013 17:36:58 +0000 (17:36 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 5 Dec 2013 17:36:58 +0000 (17:36 +0000)
commitfb2a35eced2f200ee34277178eadf237b4503135
tree0a3efbe033c9fbe4ed4f9d1c76dc43e730b40937
parenta024fcfbee4102fc81e16662f4678b04c7ac97db
parentaea7d47ebe942cc2294e3e499068a2ff9bdbd8f8
Merge "Remove unused local variable"
includes/filerepo/file/File.php