replace jsmin with jshrink

1 files changed, 3 insertions, 3 deletions

diff --git a/prefs.php b/prefs.php
index 6c1091843..4027fd1fa 100644
--- a/prefs.php
+++ b/prefs.php
@@ -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");
 			}