X-Git-Url: https://git.wh0rd.org/?a=blobdiff_plain;f=prefs.php;h=a47d00bce29416fd2d6421b2aaa5dd4818a58932;hb=c670a80ddd9b03bd4ea6d940a9ed682fd26248d7;hp=4027fd1faded09e0f3f4a397aec409ccb7f3a73c;hpb=107997e6cb04f5daddb11e631b9866c385f2ca7d;p=tt-rss.git

diff --git a/prefs.php b/prefs.php
index 4027fd1f..a47d00bc 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"));
+
 	?>
 	</script>