From d55ba18b43060d02d7b8bb20653c65c6a4e5eea4 Mon Sep 17 00:00:00 2001 From: Jakub Vrana Date: Sun, 3 Apr 2011 08:17:26 -0700 Subject: [PATCH] Customizable favicon --- adminer/include/design.inc.php | 6 ++++-- adminer/static/functions.js | 10 +++++++--- compile.php | 2 +- 3 files changed, 12 insertions(+), 6 deletions(-) diff --git a/adminer/include/design.inc.php b/adminer/include/design.inc.php index 6c48f9ba..2fd6b649 100644 --- a/adminer/include/design.inc.php +++ b/adminer/include/design.inc.php @@ -22,16 +22,18 @@ function page_header($title, $error = "", $breadcrumb = array(), $title2 = "") { <?php echo $title_page; ?> - -head() && file_exists("adminer.css")) { ?> +head()) { ?> + + + ');" onkeydown="bodyKeydown(event);" onload="bodyLoad('server_info, 0, 3) : ""); ?>');"> ' . "\n", "", $file); $file = preg_replace_callback("~compile_file\\('([^']+)', '([^']+)'\\);~", 'compile_file', $file); // integrate static files $replace = 'h(preg_replace("~\\\\\\\\?.*~", "", ME)) . "?file=\\1&version=' . $VERSION; - $file = preg_replace("~'\\.\\./adminer/static/(loader\\.gif|favicon\\.ico)~", "location.pathname+'?file=\\1&version=$VERSION", $file); + $file = preg_replace("~'\\.\\./adminer/static/(loader\\.gif)~", "location.pathname+'?file=\\1&version=$VERSION", $file); $file = preg_replace('~\\.\\./adminer/static/(loader\\.gif)~', "'+location.pathname+'?file=\\1&version=$VERSION", $file); $file = preg_replace('~\\.\\./adminer/static/(default\\.css|functions\\.js|favicon\\.ico)~', '', $file); $file = preg_replace('~\\.\\./adminer/static/([^\'"]*)~', '" . ' . $replace, $file);