diff options
author | Andrew Dolgov <[email protected]> | 2013-03-18 10:45:04 +0400 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2013-03-18 10:45:04 +0400 |
commit | 107997e6cb04f5daddb11e631b9866c385f2ca7d (patch) | |
tree | 0305444949f6e1f1ffda62b2c1edd7d58ca820c1 /prefs.php | |
parent | e10856876067b5cfa40791a3b340a605ea4201c7 (diff) |
replace jsmin with jshrink
Diffstat (limited to 'prefs.php')
-rw-r--r-- | prefs.php | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -44,19 +44,19 @@ <script type="text/javascript"> <?php - require 'lib/jsmin.php'; + require 'lib/jshrink/Minifier.php'; global $pluginhost; foreach ($pluginhost->get_plugins() as $n => $p) { if (method_exists($p, "get_prefs_js")) { - echo JSMin::minify($p->get_prefs_js()); + echo JShrink\Minifier::minify($p->get_prefs_js()); } } foreach (array("functions", "deprecated", "prefs") as $js) { if (!isset($_GET['debug'])) { - echo JSMin::minify(file_get_contents("js/$js.js")); + echo JShrink\Minifier::minify(file_get_contents("js/$js.js")); } else { echo file_get_contents("js/$js.js"); } |