Fix repo type of a LocalFile to be LocalRepo, which has a cleanupDeletedBatch which...

Change-Id: Iaa4ba2da9aefbf0ca0eae4caa0eb75bf516a9369

diff --git a/includes/filerepo/file/LocalFile.php b/includes/filerepo/file/LocalFile.php
index 40ee0fa..c53a11c 100644 (file)
--- a/includes/filerepo/file/LocalFile.php
+++ b/includes/filerepo/file/LocalFile.php
@@ -60,6 +60,11 @@ class LocalFile extends File {
 
        /**#@-*/
 
+       /**
+        * @var LocalRepo
+        */
+       var $repo;
+
        protected $repoClass = 'LocalRepo';
 
        /**