From 57c8594818f63db7ae879d7dd56210efe2bcf191 Mon Sep 17 00:00:00 2001 From: Miraty Date: Sat, 31 Oct 2020 16:46:31 +0100 Subject: [PATCH] Move style.min.css to temp/style.min.css --- index.php | 10 +++++----- style.min.css | 1 - 2 files changed, 5 insertions(+), 6 deletions(-) delete mode 100644 style.min.css diff --git a/index.php b/index.php index b3e9d4f..a32d1ca 100755 --- a/index.php +++ b/index.php @@ -95,19 +95,19 @@ if (badQuery()) { filemtime("style.min.css") OR filemtime("config.inc.php") > filemtime("style.min.css")) + if (filemtime("themes/" . $theme . "/theme.php") > filemtime("temp/style.min.css") OR filemtime("config.inc.php") > filemtime("temp/style.min.css")) // Then delete it - unlink("style.min.css"); + unlink("temp/style.min.css"); require "lesserphp/lessc.inc.php"; $less = new lessc; $less->setVariables($variablesTheme); // Make these colors available in style.less $less->setFormatter("compressed"); - $less->checkedCompile("style.less", "style.min.css"); // Compile, minimise and cache style.less into style.min.css + $less->checkedCompile("style.less", "temp/style.min.css"); // Compile, minimise and cache style.less into style.min.css ?> - +