From d104b6e7ddfd3d933077410aef6fa98e4d435859 Mon Sep 17 00:00:00 2001 From: fusionate Date: Thu, 15 Jan 2026 12:50:30 -0700 Subject: [PATCH] Theme/Menu: Remove fixed menu menu_position setting. --- core/default_settings/default_setting_edit.php | 6 ------ core/default_settings/default_settings.php | 1 - core/domain_settings/domain_setting_edit.php | 6 ------ core/domain_settings/domain_settings.php | 1 - core/user_settings/user_setting_edit.php | 6 ------ core/user_settings/user_settings.php | 1 - resources/classes/menu.php | 2 +- resources/footer.php | 1 - themes/default/app_config.php | 8 -------- themes/default/css.php | 8 +------- 10 files changed, 2 insertions(+), 38 deletions(-) diff --git a/core/default_settings/default_setting_edit.php b/core/default_settings/default_setting_edit.php index 21b119601d..924ad6d025 100644 --- a/core/default_settings/default_setting_edit.php +++ b/core/default_settings/default_setting_edit.php @@ -617,12 +617,6 @@ echo " \n"; echo " \n"; } - elseif ($category == "theme" && $subcategory == "menu_position" && $name == "text" ) { - echo " \n"; - } elseif ($category == "theme" && $subcategory == "logo_align" && $name == "text" ) { echo " \n"; } - elseif ($category == "theme" && $subcategory == "menu_position" && $name == "text" ) { - echo " \n"; - } elseif ($category == "theme" && $subcategory == "logo_align" && $name == "text" ) { echo " \n"; } - else if ($user_setting_category == "theme" && $user_setting_subcategory == "menu_position" && $user_setting_name == "text" ) { - echo " \n"; - } else if ($user_setting_category == "theme" && $user_setting_subcategory == "logo_align" && $user_setting_name == "text" ) { echo "