Fix MariaDB link to numeric types

diff --git a/adminer/static/editing.js b/adminer/static/editing.js
index 8ef5a93d59044847ce26f1a87bf1f19589049fb0..f4e7ac38ee470a9481a00e25cd9b871d9f38adda 100644 (file)
--- a/adminer/static/editing.js
+++ b/adminer/static/editing.js
@@ -15,7 +15,10 @@ function bodyLoad(version, maria) {
                                        key = 0;
                                        if (maria) {
                                                for (var i = 1; i < obj.length; i++) {
-                                                       obj[i] = obj[i].replace(/\.html/, '/');
+                                                       obj[i] = obj[i]
+                                                               .replace(/\.html/, '/')
+                                                               .replace(/(numeric)(-type-overview)/, (maria ? '$1-data$2' : '$&')) // MariaDB
+                                                       ;
                                                }
                                        }
                                }