From 9dfa34c8278c5d3cea1cb35b83b310578191ffc2 Mon Sep 17 00:00:00 2001
From: Reedy <reedy@wikimedia.org>
Date: Sat, 7 Apr 2012 20:10:02 +0100
Subject: [PATCH] Fix repo type of a LocalFile to be LocalRepo, which has a
 cleanupDeletedBatch which returns a value

Change-Id: Iaa4ba2da9aefbf0ca0eae4caa0eb75bf516a9369
---
 includes/filerepo/file/LocalFile.php | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/includes/filerepo/file/LocalFile.php b/includes/filerepo/file/LocalFile.php
index 40ee0fa923..c53a11c0a3 100644
--- 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';
 
 	/**
-- 
2.20.1