From c39268c244c91cf1052ac19ca5ecd36cf08434be Mon Sep 17 00:00:00 2001
From: Marc Delisle <marc@infomarc.info>
Date: Thu, 6 Dec 2012 07:19:34 -0500
Subject: [PATCH] Button tag works correctly in IE 9

---
 libraries/Util.class.php | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/libraries/Util.class.php b/libraries/Util.class.php
index 5d9b07340e..3e9addfc37 100644
--- a/libraries/Util.class.php
+++ b/libraries/Util.class.php
@@ -2345,8 +2345,9 @@ class PMA_Util
         }
 
         /* Opera has trouble with <input type="image"> */
-        /* IE has trouble with <button> */
-        if (PMA_USR_BROWSER_AGENT != 'IE') {
+        /* IE (before version 9) has trouble with <button> */
+        if (PMA_USR_BROWSER_AGENT != 'IE'
+            || (PMA_USR_BROWSER_AGENT == 'IE' && PMA_USR_BROWSER_VER > 8)) {
             return '<button class="' . $button_class . '" type="submit"'
                 .' name="' . $button_name . '" value="' . htmlspecialchars($value)
                 . '" title="' . htmlspecialchars($text) . '">' . "\n"