From 356729310bcee7a91130c37b28a9ca519cd51bd9 Mon Sep 17 00:00:00 2001 From: Andrew Dolgov Date: Thu, 13 Dec 2018 20:13:30 +0300 Subject: remove jshrink --- prefs.php | 15 +++++++++------ 1 file changed, 9 insertions(+), 6 deletions(-) (limited to 'prefs.php') diff --git a/prefs.php b/prefs.php index 3a5e792e4..660998b81 100644 --- a/prefs.php +++ b/prefs.php @@ -84,12 +84,15 @@ get_plugins() as $n => $p) { if (method_exists($p, "get_prefs_js")) { - echo "try {"; - echo JShrink\Minifier::minify($p->get_prefs_js()); - echo "} catch (e) { - console.warn('failed to initialize plugin JS: $n'); - console.warn(e); - }"; + $script = $p->get_prefs_js(); + + if ($script) { + echo "try { + $script + } catch (e) { + console.warn('failed to initialize plugin JS: $n', e); + }"; + } } } -- cgit v1.2.3