X-Git-Url: https://git.wh0rd.org/?a=blobdiff_plain;f=prefs.php;h=575fbbf0fefa2afb7acabd682bda7d233019e12c;hb=9eac0e089312e5f2d96da92f73ae6003da62ce36;hp=a5efa356ffd12b8a912572df4abfd2e940cd603d;hpb=d437c8cf5646748d060e13ed2c825b7f49a8e847;p=tt-rss.git diff --git a/prefs.php b/prefs.php index a5efa356..575fbbf0 100644 --- a/prefs.php +++ b/prefs.php @@ -1,185 +1,138 @@ - + - Tiny Tiny RSS : Preferences - - - - - + Tiny Tiny RSS : <?php echo __("Preferences") ?> + + - - - - - - + + - + - + + + + + + - + - - - + + global $pluginhost; - - + foreach ($pluginhost->get_plugins() as $n => $p) { + if (method_exists($p, "get_prefs_js")) { + echo JSMin::minify($p->get_prefs_js()); + } + } -
BAH
+ foreach (array("functions", "deprecated", "prefs") as $js) { + if (!isset($_GET['debug'])) { + echo JSMin::minify(file_get_contents("js/$js.js")); + } else { + echo file_get_contents("js/$js.js"); + } + } + ?> + - - + + - - -
 
- - - - - - - -
-

Fatal Error

-
Unknown Error
-
- - - - - - - - - - - - - - - - - - - - - - -
- - - - -
- Tiny Tiny RSS - -
 
-
- - Hello, - (Logout) - -
-
-
 
-
 
-
- - Hello, - (Logout) - -
- - - - - - - - - - = 10) { ?> - - - - -
- -

Loading, please wait...

- -
- - - - + + +
 
+ + +
+
+
+
+
+ +
+
+ + + + + +
+ +
+
+
+
+
+= 10) { ?> +
+ +run_hooks($pluginhost::HOOK_PREFS_TABS, + "hook_prefs_tabs", false); +?> +
+ + + +
+ +