]> git.joonet.de Git - adminer.git/commitdiff
Editor: Do not remove .icon-move
authorJakub Vrana <jakub@vrana.cz>
Fri, 4 Apr 2025 16:31:17 +0000 (18:31 +0200)
committerJakub Vrana <jakub@vrana.cz>
Fri, 4 Apr 2025 16:31:17 +0000 (18:31 +0200)
compile.php

index 74de76d1711ebf85de690e30e31cd58444db324c..a6f39e70d7fb127fa101d17da7fff9840422b442 100755 (executable)
@@ -190,7 +190,7 @@ function get_translations($lang) {
 function minify_css($file) {
        global $project;
        if ($project == "editor") {
-               $file = preg_replace('~.*url\(data:image/gif.*~', '', $file);
+               $file = preg_replace('~\.icon-(up|down|plus|cross).*~', '', $file);
        }
        $file = preg_replace_callback('~url\((\w+\.(gif|png|jpg))\)~', function ($match) {
                return "url(data:image/$match[2];base64," . base64_encode(file_get_contents(__DIR__ . "/adminer/static/$match[1]")) . ")"; // we don't have ME in *.css so we can only inline images