From: Jakub Vrana Date: Sun, 3 Apr 2011 15:17:26 +0000 (-0700) Subject: Customizable favicon X-Git-Tag: v3.3.0~104 X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=d55ba18b43060d02d7b8bb20653c65c6a4e5eea4;p=adminer.git Customizable favicon --- 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);