From 03d7ae2622d725f2daa211e534203b961e70cd30 Mon Sep 17 00:00:00 2001 From: "Jehan-Guillaume (ioguix) de Rorthais" Date: Mon, 4 Jun 2012 16:46:23 +0200 Subject: [PATCH] Add jquery in html instead of loading it when necessary from --- classes/Misc.php | 2 +- database.php | 1 - display.php | 1 - 3 files changed, 1 insertion(+), 3 deletions(-) diff --git a/classes/Misc.php b/classes/Misc.php index 1bc632ea..3a0dbb40 100644 --- a/classes/Misc.php +++ b/classes/Misc.php @@ -535,6 +535,7 @@ echo "\n"; echo "\n"; echo "\n"; + echo ""; echo "", htmlspecialchars($appName); if ($title != '') echo htmlspecialchars(" - {$title}"); echo "\n"; @@ -2514,7 +2515,6 @@ $fksprops['code'] .= '
'; $fksprops['code'] .= '
'; - $fksprops['code'] .= ''; $fksprops['code'] .= ''; } diff --git a/database.php b/database.php index 8221237b..64619b6f 100755 --- a/database.php +++ b/database.php @@ -644,7 +644,6 @@ /* normal flow */ if ($action == 'locks' or $action == 'processes') { - $scripts = "\n"; $scripts .= ""; $refreshTime = $conf['ajax_refresh'] * 1000; diff --git a/display.php b/display.php index afc523a1..dbeb2ecd 100644 --- a/display.php +++ b/display.php @@ -832,7 +832,6 @@ doBrowseFK(); } - $scripts = "\n"; $scripts .= ""; $scripts .= "