MySQL, MariaDB: Fix doc links

diff --git a/adminer/static/editing.js b/adminer/static/editing.js
index a3b5157037819320fefc5b0f098f4861369dc1d8..73643c6e2e7560103d600f69786215ec316c8fb5 100644 (file)
--- a/adminer/static/editing.js
+++ b/adminer/static/editing.js
@@ -17,14 +17,14 @@ function bodyLoad(version, maria) {
                                                for (var i = 1; i < obj.length; i++) {
                                                        obj[i] = obj[i]
                                                                .replace(/\.html/, '/')
-                                                               .replace(/(numeric)(-type-overview)/, '$1-data$2')
+                                                               .replace(/-type-syntax/, '-data-types')
+                                                               .replace(/numeric-(data-types)/, '$1-$&')
                                                                .replace(/#statvar_.*/, '#$$1')
                                                        ;
                                                }
                                        }
                                }
-                               obj[key] = obj[key]
-                                       .replace(/dev\.mysql\.com\/doc\/mysql\/en\//, (maria ? 'mariadb.com/kb/en/library/' : '$&')) // MariaDB
+                               obj[key] = (maria ? obj[key].replace(/dev\.mysql\.com\/doc\/mysql\/en\//, 'mariadb.com/kb/en/library/') : obj[key]) // MariaDB
                                        .replace(/\/doc\/mysql/, '/doc/refman/' + version) // MySQL
                                        .replace(/\/docs\/current/, '/docs/' + version) // PostgreSQL
                                ;

diff --git a/externals/jush b/externals/jush
index 408b15bb2779af1fe85ed3b5a5ccee93885f5e05..e728e6457626e1b83374f89651cd1a623c001baf 160000 (submodule)
--- a/externals/jush
+++ b/externals/jush
@@ -1 +1 @@
-Subproject commit 408b15bb2779af1fe85ed3b5a5ccee93885f5e05
+Subproject commit e728e6457626e1b83374f89651cd1a623c001baf