diff --git a/design/publicheader.php b/design/publicheader.php index 2d96b95..2e51fc7 100755 --- a/design/publicheader.php +++ b/design/publicheader.php @@ -10,7 +10,7 @@ define('FOOTER_FILE',SERVER_ROOT.'/design/publicfooter.php'); get_value("script_stats_$Script")) === false || $ScriptStats['mtime'] != filemtime(SERVER_ROOT.STATIC_SERVER."functions/$Script.js")) { $ScriptStats['mtime'] = filemtime(SERVER_ROOT.STATIC_SERVER."functions/$Script.js");