From 703351c79e86cc6bb357bd40f7dc75a7da1e7a51 Mon Sep 17 00:00:00 2001
From: Andrew Dolgov <noreply@fakecake.org>
Date: Sun, 9 Dec 2018 11:37:26 +0300
Subject: [PATCH] remove theme supports-version etc checking

---
 classes/pref/prefs.php |  4 ++--
 include/functions.php  | 25 +++----------------------
 index.php              |  2 +-
 prefs.php              |  2 +-
 4 files changed, 7 insertions(+), 26 deletions(-)

diff --git a/classes/pref/prefs.php b/classes/pref/prefs.php
index 6c7a45953..4af0bef33 100644
--- a/classes/pref/prefs.php
+++ b/classes/pref/prefs.php
@@ -552,10 +552,10 @@ class Pref_Prefs extends Handler_Protected {
 
 				$themes = array_merge(glob("themes/*.php"), glob("themes/*.css"), glob("themes.local/*.css"));
 				$themes = array_map("basename", $themes);
-				$themes = array_filter($themes, "theme_valid");
+				$themes = array_filter($themes, "theme_exists");
 				asort($themes);
 
-				if (!theme_valid($value)) $value = "default.php";
+				if (!theme_exists($value)) $value = "default.php";
 
 				print "<select name='$pref_name' id='$pref_name' dojoType='dijit.form.Select'>";
 
diff --git a/include/functions.php b/include/functions.php
index 2b6ad50e4..8d0b703f7 100755
--- a/include/functions.php
+++ b/include/functions.php
@@ -1078,7 +1078,7 @@
 		$params["label_base_index"] = (int) LABEL_BASE_INDEX;
 
 		$theme = get_pref( "USER_CSS_THEME", false, false);
-		$params["theme"] = theme_valid("$theme") ? $theme : "";
+		$params["theme"] = theme_exists($theme) ? $theme : "";
 
 		$params["plugins"] = implode(", ", PluginHost::getInstance()->get_plugin_names());
 
@@ -2442,27 +2442,8 @@
 		if (file_exists($check)) return $check;
 	}
 
-	function theme_valid($theme) {
-		$bundled_themes = [ "night.css", "compact.css" ];
-
-		if (in_array($theme, $bundled_themes)) return true;
-
-		$file = "themes/" . basename($theme);
-
-		if (!file_exists($file)) $file = "themes.local/" . basename($theme);
-
-		if (file_exists($file) && is_readable($file)) {
-			$fh = fopen($file, "r");
-
-			if ($fh) {
-				$header = fgets($fh);
-				fclose($fh);
-
-				return strpos($header, "supports-version:" . VERSION_STATIC) !== FALSE;
-			}
-		}
-
-		return false;
+	function theme_exists($theme) {
+		return file_exists("themes/$theme") || file_exists("themes.local/$theme");
 	}
 
 	/**
diff --git a/index.php b/index.php
index 27f9b4dcc..e7a9f2d73 100644
--- a/index.php
+++ b/index.php
@@ -63,7 +63,7 @@
 
 	<?php if ($_SESSION["uid"]) {
 		$theme = get_pref("USER_CSS_THEME", false, false);
-		if ($theme && theme_valid("$theme")) {
+		if ($theme && theme_exists("$theme")) {
 			echo stylesheet_tag(get_theme_path($theme));
 		} else {
 			echo stylesheet_tag("css/default.css");
diff --git a/prefs.php b/prefs.php
index ff2840ef5..92b32fd61 100644
--- a/prefs.php
+++ b/prefs.php
@@ -39,7 +39,7 @@
 
 	<?php if ($_SESSION["uid"]) {
 		$theme = get_pref("USER_CSS_THEME", false, false);
-		if ($theme && theme_valid("$theme")) {
+		if ($theme && theme_exists("$theme")) {
 			echo stylesheet_tag(get_theme_path($theme));
 		} else {
 			echo stylesheet_tag("css/default.css");