Link used MySQL version in syntax highlighting
git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@1269 7c3ca157-0c34-0410-bff1-cbf682f78f5c
This commit is contained in:
parent
2dbc8cf3a5
commit
e4bfffdc0f
|
@ -1,6 +1,6 @@
|
||||||
<?php
|
<?php
|
||||||
function page_header($title, $error = "", $breadcrumb = array(), $title2 = "") {
|
function page_header($title, $error = "", $breadcrumb = array(), $title2 = "") {
|
||||||
global $LANG, $VERSION, $adminer;
|
global $LANG, $VERSION, $adminer, $connection;
|
||||||
header("Content-Type: text/html; charset=utf-8");
|
header("Content-Type: text/html; charset=utf-8");
|
||||||
header("X-Frame-Options: deny"); // ClickJacking protection in IE8, Safari 4, Chrome 2, NoScript plugin
|
header("X-Frame-Options: deny"); // ClickJacking protection in IE8, Safari 4, Chrome 2, NoScript plugin
|
||||||
$title_all = $title . (strlen($title2) ? ": " . h($title2) : "");
|
$title_all = $title . (strlen($title2) ? ": " . h($title2) : "");
|
||||||
|
@ -17,7 +17,7 @@ function page_header($title, $error = "", $breadcrumb = array(), $title2 = "") {
|
||||||
<link rel="stylesheet" type="text/css" href="adminer.css">
|
<link rel="stylesheet" type="text/css" href="adminer.css">
|
||||||
<?php } ?>
|
<?php } ?>
|
||||||
|
|
||||||
<body onload="body_load();<?php echo (isset($_COOKIE["adminer_version"]) ? "" : " verify_version();"); ?>">
|
<body onload="body_load(<?php echo substr($connection->server_info, 0, 3); ?>);<?php echo (isset($_COOKIE["adminer_version"]) ? "" : " verify_version();"); ?>">
|
||||||
<script type="text/javascript" src="../adminer/static/functions.js"></script>
|
<script type="text/javascript" src="../adminer/static/functions.js"></script>
|
||||||
<script type="text/javascript" src="static/editing.js"></script>
|
<script type="text/javascript" src="static/editing.js"></script>
|
||||||
|
|
||||||
|
|
|
@ -1,12 +1,14 @@
|
||||||
// Adminer specific functions
|
// Adminer specific functions
|
||||||
|
|
||||||
function body_load() {
|
function body_load(version) {
|
||||||
var jush_root = '../externals/jush/';
|
var jush_root = '../externals/jush/';
|
||||||
var script = document.createElement('script');
|
var script = document.createElement('script');
|
||||||
script.src = jush_root + 'jush.js';
|
script.src = jush_root + 'jush.js';
|
||||||
script.onload = function () {
|
script.onload = function () {
|
||||||
if (window.jush) { // IE runs in case of an error too
|
if (window.jush) { // IE runs in case of an error too
|
||||||
jush.create_links = ' target="_blank"';
|
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.style(jush_root + 'jush.css');
|
||||||
jush.highlight_tag('pre', 0);
|
jush.highlight_tag('pre', 0);
|
||||||
jush.highlight_tag('code');
|
jush.highlight_tag('code');
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
// Editor specific functions
|
// Editor specific functions
|
||||||
|
|
||||||
function body_load() {
|
function body_load(version) {
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in a new issue