mirror/php-adminer
1
0
Fork 0
mirror of https://github.com/vrana/adminer.git synced 2025-08-11 17:14:07 +02:00
Code Issues Releases Wiki Activity

Defer syntax highlighting

Browse Source
This commit is contained in:
Jakub Vrana
2025-04-07 14:12:44 +02:00
parent 7d3d46e509
commit b0e5c1d6e4
4 changed files with 57 additions and 57 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
compile.php
View File

@@ -334,7 +334,7 @@ if ($_SESSION["lang"]) {
$file = str_replace('<?php echo LANG; ?>', $_SESSION["lang"], $file);
}
$file = str_replace('echo script_src("static/editing.js");' . "\n", "", $file); // merged into functions.js
$file = preg_replace('~\s+echo script_src\("\.\./externals/jush/modules/jush-(autocomplete-sql|textarea|txt|js|" \. JUSH \. ")\.js"\);~', '', $file); // merged into jush.js
$file = preg_replace('~\s+echo script_src\("\.\./externals/jush/modules/jush-(autocomplete-sql|textarea|txt|js|" \. JUSH \. ")\.js", true\);~', '', $file); // merged into jush.js
$file = preg_replace('~echo .*/jush(-dark)?.css\'>.*~', '', $file); // merged into default.css or dark.css
if (function_exists('stripTypes')) {
$file = stripTypes($file);