From: jakubvrana Date: Wed, 7 May 2008 13:51:10 +0000 (+0000) Subject: Use images for editing buttons X-Git-Tag: v3.0.0~1115 X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=48f777eb307cbd87f42b7a52b3ecac2798579f5d;p=adminer.git Use images for editing buttons git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@399 7c3ca157-0c34-0410-bff1-cbf682f78f5c --- diff --git a/_compile.php b/_compile.php index 412fb86d..8959437f 100644 --- a/_compile.php +++ b/_compile.php @@ -82,8 +82,7 @@ if ($_COOKIE["lang"]) { $file = str_replace("\n", "", $file); $file = str_replace('', $_COOKIE["lang"], $file); } -$file = str_replace("favicon.ico", '', $file); -$file = str_replace("default.css", '', $file); +$file = preg_replace("~favicon\\.ico|default\\.css|(up|down|plus|minus)\\.gif~", '', $file); $file = str_replace("arrow.gif", '" . preg_replace("~\\\\?.*~", "", $_SERVER["REQUEST_URI"]) . "?file=arrow.gif', $file); $file = str_replace('error_reporting(E_ALL & ~E_NOTICE);', 'error_reporting(E_ALL & ~E_NOTICE); if (isset($_GET["file"])) { @@ -100,7 +99,13 @@ if (isset($_GET["file"])) { ?>' . file_get_contents("default.css") . ' - + checked="checked" /> " maxlength="255" /> - + + + + + +