Index: /branches/1.3/libs/Maintenance.php
===================================================================
--- /branches/1.3/libs/Maintenance.php	(revision 1871)
+++ /branches/1.3/libs/Maintenance.php	(revision 1872)
@@ -133,5 +133,6 @@
 		$success = false;
 		while (($file = readdir($handle))!==false) {
-			if ($file != 'placeholder.txt') {
+		    if (is_file($dir.'/'.$file)) {
+			if ($file != 'placeholder.txt') { 
 				if (@unlink($dir.'/'.$file)) {
 					// ignore setting $success for the JavascriptConstants file which is ALWAYS present (even gets regenerated after deletion)
@@ -141,7 +142,7 @@
 				}
 			}
+		    }
 		}
 		closedir($handle);
-
 		return $success;
 	}