<?php
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("X-Frame-Options: deny"); // ClickJacking protection in IE8, Safari 4, Chrome 2, NoScript plugin
$title_all = $title . (strlen($title2) ? ": " . h($title2) : "");
<link rel="stylesheet" type="text/css" href="adminer.css">
<?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="static/editing.js"></script>
// 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');
projects / adminer.git / commitdiff