Clear menu cache after page deletion

diff --git a/wcfsetup/install/files/lib/data/page/PageEditor.class.php b/wcfsetup/install/files/lib/data/page/PageEditor.class.php
index ff607803a09792afca0f6d4dbaade3690451134e..27864553597c7d2f1d1fba9c8e5090ffcacef7ae 100644 (file)
--- a/wcfsetup/install/files/lib/data/page/PageEditor.class.php
+++ b/wcfsetup/install/files/lib/data/page/PageEditor.class.php
@@ -3,6 +3,7 @@ namespace wcf\data\page;
 use wcf\data\package\PackageCache;
 use wcf\data\DatabaseObjectEditor;
 use wcf\data\IEditableCachedObject;
+use wcf\system\cache\builder\MenuCacheBuilder;
 use wcf\system\cache\builder\PageCacheBuilder;
 use wcf\system\cache\builder\RoutingCacheBuilder;
 use wcf\system\request\ControllerMap;
@@ -34,6 +35,7 @@ class PageEditor extends DatabaseObjectEditor implements IEditableCachedObject {
        public static function resetCache() {
                RoutingCacheBuilder::getInstance()->reset();
                PageCacheBuilder::getInstance()->reset();
+               MenuCacheBuilder::getInstance()->reset();
        }
        
        /**