Generalize JUSH URL rewriting

diff --git a/adminer/static/editing.js b/adminer/static/editing.js
index 96b398469218ed4f7d7e12c79223c46af87e4761..aa3cbf66572109e2644f5bf033dfb4959c2d1906 100644 (file)
--- a/adminer/static/editing.js
+++ b/adminer/static/editing.js
@@ -19,10 +19,17 @@ function bodyLoad(version) {
                script.onload = function () {
                        if (window.jush) { // IE runs in case of an error too
                                jush.create_links = ' target="_blank" rel="noreferrer"';
-                               jush.urls.sql_sqlset = jush.urls.sql[0] = jush.urls.sqlset[0] = jush.urls.sqlstatus[0] = 'http://dev.mysql.com/doc/refman/' + version + '/en/$key';
-                               var pgsql = 'http://www.postgresql.org/docs/' + version + '/static/';
-                               jush.urls.pgsql_pgsqlset = jush.urls.pgsql[0] = pgsql + '$key';
-                               jush.urls.pgsqlset[0] = pgsql + 'runtime-config-$key.html#GUC-$1';
+                               for (var key in jush.urls) {
+                                       var obj = jush.urls;
+                                       if (typeof obj[key] != 'string') {
+                                               obj = obj[key];
+                                               key = 0;
+                                       }
+                                       obj[key] = obj[key]
+                                               .replace(/\/doc\/mysql/, '/doc/refman/' + version) // MySQL
+                                               .replace(/\/docs\/current/, '/docs/' + version) // PostgreSQL
+                                       ;
+                               }
                                if (window.jushLinks) {
                                        jush.custom_links = jushLinks;
                                }