From 107997e6cb04f5daddb11e631b9866c385f2ca7d Mon Sep 17 00:00:00 2001
From: Andrew Dolgov <fox@madoka.volgo-balt.ru>
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 @@
 
 	<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");
 			}
-- 
cgit v1.2.3-54-g00ecf