]> git.joonet.de Git - adminer.git/commitdiff
Use specific JUSH version
authorJakub Vrana <jakub@vrana.cz>
Mon, 22 Jul 2013 22:49:19 +0000 (15:49 -0700)
committerJakub Vrana <jakub@vrana.cz>
Mon, 22 Jul 2013 22:49:19 +0000 (15:49 -0700)
compile.php

index 9471c11a236e4fa1c9483361e80af44b54b64fa5..cf64a20c4dedd794015e9315ab13338700190a6d 100755 (executable)
@@ -278,7 +278,7 @@ function minify_css($file) {
 }
 
 function minify_js($file) {
-       $file = str_replace("'../externals/jush/'", "location.protocol + '//www.adminer.org/static/'", $file);
+       $file = str_replace("'../externals/jush/'", "location.protocol + '//www.adminer.org/static/jush/2.0.0/'", $file);
        if (function_exists('jsShrink')) {
                $file = jsShrink($file);
        }