delete now-empty archived thumb directories

diff --git a/includes/filerepo/LocalFile.php b/includes/filerepo/LocalFile.php
index 001cace..3387882 100644 (file)
--- 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 */