- 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).

1 files changed, 1 insertions, 0 deletions

diff --git a/update.php b/update.php
index dfe78f984..3a00365be 100644
--- a/update.php
+++ b/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) {