- Adding a cache wipe to update.php, as this will avoid stale cache bugs after an update

(e.g. admin.module was removed -> needs menu cache update).

update.php

@@ -36,6 +36,7 @@ function update_data($start) {
     variable_set("update_start", $date);
     print "</pre>\n";
   }
+  db_query('DELETE FROM {cache}');
 }
 
 function update_page_header($title) {