Tiny Tiny RSS

X-Git-Url: https://git.wh0rd.org/?a=blobdiff_plain;f=index.php;h=a1bcd5643570549dbcf34ee1d8dff41f8541b609;hb=e7c9bc60ec48e5a7ac4cab27276926f70696ca80;hp=303eacda0a454de3b6504555edafcbfe10734046;hpb=1bffd1068faee6c33ea86dcec188679d5f1ea4c8;p=tt-rss.git diff --git a/index.php b/index.php index 303eacda..a1bcd564 100644 --- a/index.php +++ b/index.php @@ -55,16 +55,20 @@ Tiny Tiny RSS + - - + + + @@ -84,14 +88,24 @@ + + @@ -100,12 +114,17 @@ get_plugins() as $n => $p) { if (method_exists($p, "get_js")) { + echo "try {"; echo JShrink\Minifier::minify($p->get_js()); + echo "} catch (e) { + console.warn('failed to initialize plugin JS: $n'); + console.warn(e); + }"; } } @@ -114,6 +133,7 @@ + - +

@@ -134,9 +154,8 @@

@@ -153,17 +172,18 @@