From 3081439eda903628af71f232c06bff1eb0a19d2a Mon Sep 17 00:00:00 2001
From: Clemens Schwaighofer <clemens.schwaighofer@egplusww.com>
Date: Tue, 27 Jun 2023 18:29:28 +0900
Subject: [PATCH] Switch edit_base CSS name from ADMIN_STYLESHEET to
 EDIT_BASE_STYLESHEET

---
 www/configs/config.other.php | 3 +++
 www/includes/edit_base.php   | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/www/configs/config.other.php b/www/configs/config.other.php
index 38656357..3a02357d 100644
--- a/www/configs/config.other.php
+++ b/www/configs/config.other.php
@@ -10,6 +10,9 @@
 
 declare(strict_types=1);
 
+// style sheet for the edit base interface
+define('EDIT_BASE_STYLESHEET', 'edit.css');
+
 // define('SOME_ID', <SOME VALUE>);
 
 /************* CONVERT *******************/
diff --git a/www/includes/edit_base.php b/www/includes/edit_base.php
index 9af61df6..c5968e96 100644
--- a/www/includes/edit_base.php
+++ b/www/includes/edit_base.php
@@ -86,7 +86,7 @@ $edit_base->editBaseRun(
 	BASE . INCLUDES . TEMPLATES . CONTENT_PATH,
 	BASE . TEMPLATES_C,
 	BASE . CACHE,
-	ADMIN_STYLESHEET,
+	EDIT_BASE_STYLESHEET,
 	DEFAULT_ENCODING,
 	LAYOUT . CSS,
 	LAYOUT . JS,