diff --git a/core/install/app_menu.php b/core/install/app_menu.php deleted file mode 100644 index 18658e0c1b..0000000000 --- a/core/install/app_menu.php +++ /dev/null @@ -1,13 +0,0 @@ -