From b8b45482f1bdc2dbb71f24e80a45d7917aa641eb Mon Sep 17 00:00:00 2001
From: jakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Date: Fri, 29 May 2009 16:57:32 +0000
Subject: [PATCH] Utilize JSMin

git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@621 7c3ca157-0c34-0410-bff1-cbf682f78f5c
---
 _compile.php | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/_compile.php b/_compile.php
index 087e05e7..7f33a695 100644
--- a/_compile.php
+++ b/_compile.php
@@ -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"]) {