From 4186b9b7652bb3d08be3f785eda36bfd47e46084 Mon Sep 17 00:00:00 2001
From: Dhananjay <dhananjaynakrani@gmail.com>
Date: Mon, 3 Feb 2014 11:30:23 +0530
Subject: [PATCH] Resolve redirect problem. [See full details here
 https://sourceforge.net/p/phpmyadmin/bugs/4237/#69c9 ]

---
 libraries/common.inc.php | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/libraries/common.inc.php b/libraries/common.inc.php
index 76b044f855d6..4cfbb07e98da 100644
--- a/libraries/common.inc.php
+++ b/libraries/common.inc.php
@@ -485,7 +485,9 @@
         /* Needed to send the correct reply */
         'ajax_request',
         /* Permit to log out even if there is a token mismatch */
-        'old_usr'
+        'old_usr',
+        /* Permit redirection with token-mismatch in url.php */
+        'url'
     );
     /**
      * Allow changing themes in test/theme.php