From f50e3682f592775becc5a406b91ca5e0dd97ae31 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= <michal@cihar.com>
Date: Thu, 16 Mar 2017 14:54:19 +0100
Subject: [PATCH] Delete only phpMyAdmin cookies on upgrade
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Fixes #12660

Signed-off-by: Michal Čihař <michal@cihar.com>
---
 ChangeLog                | 1 +
 libraries/common.inc.php | 4 ++++
 2 files changed, 5 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 10d7fb0937..2a9d0b49a4 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -101,6 +101,7 @@ phpMyAdmin - ChangeLog
 - issue #13053 Fixed broken links in setup
 - issue #12708 Removed phpMyAdmin version from User-Agent header
 - issue #13084 Do not point users to setup when it is disabled
+- issue #12660 Delete only phpMyAdmin cookies on upgrade
 
 4.6.6 (2017-01-23)
 - issue #12759 Fix Notice regarding 'Undefined index: old_usergroup'
diff --git a/libraries/common.inc.php b/libraries/common.inc.php
index b0df7d9bee..3785c7f438 100644
--- a/libraries/common.inc.php
+++ b/libraries/common.inc.php
@@ -242,6 +242,10 @@ if (isset($_COOKIE)) {
     ) {
         // delete all cookies
         foreach ($_COOKIE as $cookie_name => $tmp) {
+            // We ignore cookies not with pma prefix
+            if (strncmp('pma', $cookie_name, 3) != 0) {
+                continue;
+            }
             $GLOBALS['PMA_Config']->removeCookie($cookie_name);
         }
         $_COOKIE = array();