diff options
| author | Remi Collet <fedora@famillecollet.com> | 2013-02-15 14:37:02 +0100 |
|---|---|---|
| committer | Remi Collet <fedora@famillecollet.com> | 2013-02-15 14:37:02 +0100 |
| commit | 94c51c09dda8c516d12ec5f50c6abd581c74d514 (patch) | |
| tree | 89801e6027e8d545419be824d1c6dbfe7019ba9f | |
| parent | f99111c378eacb18c8e7c95df8ad1018e6065fa5 (diff) | |
phpMyAdmin: fix MariaDB reported as MySQL
| -rw-r--r-- | phpMyAdmin-mariadb.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/phpMyAdmin-mariadb.patch b/phpMyAdmin-mariadb.patch new file mode 100644 index 0000000..c730f4d --- /dev/null +++ b/phpMyAdmin-mariadb.patch @@ -0,0 +1,11 @@ +--- phpMyAdmin-3.5.7-all-languages/libraries/common.lib.php~ 2013-02-15 14:20:13.675872709 +0100 ++++ phpMyAdmin-3.5.7-all-languages/libraries/common.lib.php 2013-02-15 14:20:34.185961593 +0100 +@@ -3752,7 +3752,7 @@ + $server_type = 'MySQL'; + if (PMA_DRIZZLE) { + $server_type = 'Drizzle'; +- } else if (strpos(PMA_MYSQL_STR_VERSION, 'mariadb') !== false) { ++ } else if (strpos(strtolower(PMA_MYSQL_STR_VERSION), 'mariadb') !== false) { + $server_type = 'MariaDB'; + } else if (stripos(PMA_MYSQL_VERSION_COMMENT, 'percona') !== false) { + $server_type = 'Percona Server'; |