From 107997e6cb04f5daddb11e631b9866c385f2ca7d Mon Sep 17 00:00:00 2001 From: Andrew Dolgov Date: Mon, 18 Mar 2013 10:45:04 +0400 Subject: replace jsmin with jshrink --- prefs.php | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'prefs.php') diff --git a/prefs.php b/prefs.php index 6c1091843..4027fd1fa 100644 --- a/prefs.php +++ b/prefs.php @@ -44,19 +44,19 @@ diff --git a/prefs.php b/prefs.php index 4027fd1fa..a47d00bce 100644 --- a/prefs.php +++ b/prefs.php @@ -54,13 +54,8 @@ } } - foreach (array("functions", "deprecated", "prefs") as $js) { - if (!isset($_GET['debug'])) { - echo JShrink\Minifier::minify(file_get_contents("js/$js.js")); - } else { - echo file_get_contents("js/$js.js"); - } - } + print get_minified_js(array("functions", "deprecated", "prefs")); + ?> -- cgit v1.2.3-54-g00ecf