]> git.joonet.de Git - adminer.git/commitdiff
Utilize JSMin
authorjakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Fri, 29 May 2009 16:57:32 +0000 (16:57 +0000)
committerjakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Fri, 29 May 2009 16:57:32 +0000 (16:57 +0000)
git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@621 7c3ca157-0c34-0410-bff1-cbf682f78f5c

_compile.php

index 087e05e79460d6e024da8b8a407bfc42a6f3a356..7f33a695f3087de5ba94dfdf5a37d28b120497af 100644 (file)
@@ -1,5 +1,6 @@
 <?php
 include dirname(__FILE__) . "/version.inc.php";
+include dirname(__FILE__) . "/externals/jsmin-php/jsmin.php";
 
 function add_apo_slashes($s) {
        return addcslashes($s, "\\'");
@@ -183,7 +184,7 @@ if (isset($_GET["file"])) {
                ?>' . preg_replace('~\\s*([:;{},])\\s*~', '\\1', file_get_contents(dirname(__FILE__) . "/default.css")) . '<?php
        } elseif ($_GET["file"] == "functions.js") {
                header("Content-Type: text/javascript");
-               ?>' . file_get_contents(dirname(__FILE__) . "/functions.js") . '<?php
+               ?>' . JSMin::minify(file_get_contents(dirname(__FILE__) . "/functions.js")) . '<?php
        } else {
                header("Content-Type: image/gif");
                switch ($_GET["file"]) {