set_include_path(dirname(__FILE__) ."/include" . PATH_SEPARATOR .
get_include_path());
- require_once "functions.php";
require_once "sessions.php";
+ require_once "functions.php";
require_once "sanity_check.php";
require_once "version.php";
require_once "config.php";
alt="new_version_icon"/>
</div>
-<div id="hotkey_help_overlay" style="display : none" onclick="Element.hide(this)"></div>
-
<div id="notify" class="notify"><span id="notify_body"> </span></div>
<div id="cmdline" style="display : none"></div>
<div id="auxDlg" style="display : none"></div>