1 files changed, 2 insertions, 7 deletions
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"));
+
 	?>
 	</script>