diff --git a/adminer/include/design.inc.php b/adminer/include/design.inc.php index 4e645dda..d1375d61 100644 --- a/adminer/include/design.inc.php +++ b/adminer/include/design.inc.php @@ -1,6 +1,6 @@ -
"> +"> diff --git a/adminer/static/editing.js b/adminer/static/editing.js index 54dde1bb..3b863495 100644 --- a/adminer/static/editing.js +++ b/adminer/static/editing.js @@ -1,12 +1,14 @@ // Adminer specific functions -function body_load() { +function body_load(version) { var jush_root = '../externals/jush/'; var script = document.createElement('script'); script.src = jush_root + 'jush.js'; script.onload = function () { if (window.jush) { // IE runs in case of an error too jush.create_links = ' target="_blank"'; + jush.urls.sql[0] = 'http://dev.mysql.com/doc/refman/' + version + '/en/$key'; + jush.urls.sql[0] = jush.urls.sql[0]; jush.style(jush_root + 'jush.css'); jush.highlight_tag('pre', 0); jush.highlight_tag('code'); diff --git a/editor/static/editing.js b/editor/static/editing.js index 6cf53070..43289cdf 100644 --- a/editor/static/editing.js +++ b/editor/static/editing.js @@ -1,4 +1,4 @@ // Editor specific functions -function body_load() { +function body_load(version) { }