Editor: Delete images from compiled version

diff --git a/compile.php b/compile.php
index 585d67f2600369bfb59930a4727bd70beb9b00a4..9390540dd955ddb595e4019fe373798f6ec90514 100755 (executable)
--- a/compile.php
+++ b/compile.php
@@ -390,8 +390,8 @@ if ($driver) {
        $file = preg_replace('(;../externals/jush/modules/jush-(?!textarea\.|txt\.|js\.|' . preg_quote($driver == "mysql" ? "sql" : $driver) . '\.)[^.]+.js)', '', $file);
 }
 if ($project == "editor") {
-       $file = preg_replace('~;../externals/jush/jush.css~', '', $file);
-       $file = preg_replace('~;?../externals/jush/modules/jush[^.]*.js~', '', $file);
+       $file = preg_replace('~;.\.\/externals/jush/jush\.css~', '', $file);
+       $file = preg_replace('~compile_file\(\'\.\./(externals/jush/modules/jush\.js|adminer/static/[^.]+\.gif)[^)]+\)~', "''", $file);
 }
 $file = preg_replace_callback("~lang\\('((?:[^\\\\']+|\\\\.)*)'([,)])~s", 'lang_ids', $file);
 $file = preg_replace_callback('~\b(include|require) "([^"]*\$LANG.inc.php)";~', 'put_file_lang', $file);