From 19e1d134604c4423b81777d542dce491cc2390a5 Mon Sep 17 00:00:00 2001
From: Andrew Dolgov <noreply@fakecake.org>
Date: Fri, 28 Feb 2020 14:53:01 +0300
Subject: [PATCH] add URL parameter to ignore user theme on startup
---
index.php | 2 +-
prefs.php | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/index.php b/index.php
index 6a22d5471..90ff8bbec 100644
--- a/index.php
+++ b/index.php
@@ -39,7 +39,7 @@
<title>Tiny Tiny RSS</title>
<meta name="viewport" content="initial-scale=1,width=device-width" />
- <?php if ($_SESSION["uid"]) {
+ <?php if ($_SESSION["uid"] && !isset($_REQUEST["ignore-theme"])) {
$theme = get_pref("USER_CSS_THEME", false, false);
if ($theme && theme_exists("$theme")) {
echo stylesheet_tag(get_theme_path($theme), 'theme_css');
diff --git a/prefs.php b/prefs.php
index 22921b23f..12976ad8f 100644
--- a/prefs.php
+++ b/prefs.php
@@ -31,7 +31,7 @@
<title>Tiny Tiny RSS : <?php echo __("Preferences") ?></title>
<meta name="viewport" content="initial-scale=1,width=device-width" />
- <?php if ($_SESSION["uid"]) {
+ <?php if ($_SESSION["uid"] && !isset($_REQUEST["ignore-theme"])) {
$theme = get_pref("USER_CSS_THEME", false, false);
if ($theme && theme_exists("$theme")) {
echo stylesheet_tag(get_theme_path($theme), 'theme_css');
--
GitLab