From 58daa1803b9bd69bf562d561030e31201e797423 Mon Sep 17 00:00:00 2001
From: Russ Nelson <nelson@users.mediawiki.org>
Date: Tue, 6 Sep 2011 21:51:25 +0000
Subject: [PATCH] delete now-empty archived thumb directories

---
 includes/filerepo/LocalFile.php | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/includes/filerepo/LocalFile.php b/includes/filerepo/LocalFile.php
index 001cace60a..3387882abd 100644
--- a/includes/filerepo/LocalFile.php
+++ b/includes/filerepo/LocalFile.php
@@ -761,6 +761,12 @@ class LocalFile extends File {
 				wfRestoreWarnings();
 			}
 		}
+		if ( is_dir( $dir ) ) {
+			wfSuppressWarnings();
+			rmdir( $dir ); // Might have already gone away, spews errors if we don't.
+			wfRestoreWarnings();
+		}
+
 	}
 
 	/** purgeDescription inherited */
-- 
2.20.1