bug 1149565, tooltip.js undefined var

This commit is contained in:
Marc Delisle
2005-03-01 14:54:19 +00:00
parent 5aa99e300f
commit 38bd402072
2 changed files with 11 additions and 1 deletions

View File

@@ -6,8 +6,10 @@ $Id$
$Source$
2005-03-01 Marc Delisle <lem9@users.sourceforge.net>
* bug #1153684, wrong doc for PDF pages generation,
* Documentation.html: bug #1153684, wrong doc for PDF pages generation,
thanks to Ryan Schmidt
* libraries/auth/config.auth.lib.php: bug #1149565, tooltip.js undefined
var
2005-02-27 Alexander M. Turek <me@derrab.us>
* libraries/sqlparser.data.php: Added missing MySQL functions STR_TO_DATE

View File

@@ -147,6 +147,14 @@ h1 {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo
echo "\n";
$GLOBALS['is_header_sent'] = TRUE;
//TODO: I have included this div from header.inc.php to work around
// an undefined variable in tooltip.js, when the server
// is not responding. Work has to be done to merge all code that
// starts the page (DOCTYPE and this div) to one place
?>
<div id="TooltipContainer" name="TooltipContainer" onmouseover="holdTooltip();" onmouseout="swapTooltip('default');"></div>
<?php
// if we display the "Server not responding" error, do not confuse users
// by telling them they have a settings problem
// (note: it's true that they could have a badly typed host name, but