mirror/php-adminer
1
0
Fork 0
mirror of https://github.com/vrana/adminer.git synced 2025-08-10 16:44:17 +02:00
Code Issues Releases Wiki Activity

Display help in tooltip

Browse Source 
Also rename Analyze to Vacuum outside MySQL
This commit is contained in:
Jakub Vrana
2013-07-19 10:35:31 -07:00
parent b8ece2fb5d
commit a338f9bf58
10 changed files with 65 additions and 41 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
adminer/include/design.inc.php
View File

@@ -7,7 +7,7 @@
* @return null
*/
function page_header($title, $error = "", $breadcrumb = array(), $title2 = "") {
global $LANG, $adminer, $connection, $drivers;
global $LANG, $adminer, $connection, $drivers, $jush;
page_headers();
$title_all = $title . ($title2 != "" ? ": $title2" : "");
$title_page = strip_tags($title_all . (SERVER != "" && SERVER != "localhost" ? h(" - " . SERVER) : "") . " - " . $adminer->name());
@@ -34,6 +34,8 @@ function page_header($title, $error = "", $breadcrumb = array(), $title2 = "") {
document.body.className = document.body.className.replace(/ nojs/, ' js');
</script>
<div id="help" class="jush-<?php echo $jush; ?> jsonly hidden" onmouseover="helpOpen = 1;" onmouseout="helpMouseout();"></div>
<div id="content">
<?php
if ($breadcrumb !== null) {