Allow spaces between privileges (fixes gh-67)

diff --git a/adminer/drivers/mysql.inc.php b/adminer/drivers/mysql.inc.php
index 11c3314f41f9a9b975984d52615bbe0e0437e173..6a124d482a598e15485e22bd82006bbdf525d8f1 100644 (file)
--- a/adminer/drivers/mysql.inc.php
+++ b/adminer/drivers/mysql.inc.php
@@ -463,7 +463,7 @@ if (!defined("DRIVER")) {
                                "auto_increment" => ($row["Extra"] == "auto_increment"),
                                "on_update" => (preg_match('~^on update (.+)~i', $row["Extra"], $match) ? $match[1] : ""), //! available since MySQL 5.1.23
                                "collation" => $row["Collation"],
-                               "privileges" => array_flip(explode(",", $row["Privileges"])),
+                               "privileges" => array_flip(preg_split('~, *~', $row["Privileges"])),
                                "comment" => $row["Comment"],
                                "primary" => ($row["Key"] == "PRI"),
                        );