From 827f929eb8c1e333784c97ab7cc895fcf41bc070 Mon Sep 17 00:00:00 2001 From: Marc Delisle Date: Fri, 12 Jan 2007 18:41:38 +0000 Subject: [PATCH] patch #1611684 additionnal change --- ChangeLog | 3 +++ libraries/Theme_Manager.class.php | 3 +++ 2 files changed, 6 insertions(+) diff --git a/ChangeLog b/ChangeLog index 9fe54cc1f..55fdb7ca3 100644 --- a/ChangeLog +++ b/ChangeLog @@ -8,6 +8,9 @@ $HeadURL$ 2007-01-12 Marc Delisle * (many files): Designer, two features (snap to grid / display field) thanks to Ivan Kirillov + * libraries/Theme_Manager.class.php: patch #1611684, force a change + of a session variable to avoid phpmyadmin.css.php caching problems, + thanks to Christian Schmidt 2007-01-11 Marc Delisle * lang/estonian: Update, thanks to Marko Ellermaa - uhuu diff --git a/libraries/Theme_Manager.class.php b/libraries/Theme_Manager.class.php index 7df805a8f..9269cf988 100644 --- a/libraries/Theme_Manager.class.php +++ b/libraries/Theme_Manager.class.php @@ -197,6 +197,9 @@ class PMA_Theme_Manager { { PMA_setCookie($this->getThemeCookieName(), $this->theme->id, $this->theme_default); + // force a change of a dummy session variable to avoid problems + // with the caching of phpmyadmin.css.php + $_SESSION['PMA_Config']->set('theme-update', $this->theme->id); return true; }