From 8bda0b64baadae4f9683e0cba8066f2b7b0c2e9e Mon Sep 17 00:00:00 2001 From: Jakub Vrana Date: Fri, 25 Mar 2011 16:03:36 +0100 Subject: [PATCH] Allow replacing JS functions in head method --- adminer/include/design.inc.php | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/adminer/include/design.inc.php b/adminer/include/design.inc.php index e6d58d77..6c48f9ba 100644 --- a/adminer/include/design.inc.php +++ b/adminer/include/design.inc.php @@ -24,14 +24,14 @@ function page_header($title, $error = "", $breadcrumb = array(), $title2 = "") { <?php echo $title_page; ?> -head() && file_exists("adminer.css")) { ?> - - +head() && file_exists("adminer.css")) { ?> + + ');" onkeydown="bodyKeydown(event);" onload="bodyLoad('server_info, 0, 3) : ""); ?>');">