add instances plugin

[tt-rss.git] / prefs.php
diff --git a/prefs.php b/prefs.php

index 1399d9f58adef1c2ece78f58038a5a7ab0dd69da..8b554167371373fde337d2fc2a381906298addf1 100644 (file)
--- a/prefs.php
+++ b/prefs.php
@@ -1,6 +1,6 @@
  <?php
-       set_include_path(get_include_path() . PATH_SEPARATOR .
-               dirname(__FILE__) . "/include");
+       set_include_path(dirname(__FILE__) ."/include" . PATH_SEPARATOR .
+               get_include_path());
  
         require_once "functions.php";
         require_once "sessions.php";
@@ -26,7 +26,7 @@
         "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
  <html>
  <head>
-       <title>Tiny Tiny RSS : Preferences</title>
+       <title>Tiny Tiny RSS : <?php echo __("Preferences") ?></title>
         <link rel="stylesheet" type="text/css" href="lib/dijit/themes/claro/claro.css"/>
         <link rel="stylesheet" type="text/css" href="tt-rss.css?<?php echo $dt_add ?>"/>
  
@@ -44,9 +44,27 @@
  
         <script type="text/javascript" charset="utf-8" src="localized_js.php?<?php echo $dt_add ?>"></script>
  
-       <script type="text/javascript" charset="utf-8" src="js/functions.js?<?php echo $dt_add ?>"></script>
-       <script type="text/javascript" charset="utf-8" src="js/deprecated.js?<?php echo $dt_add ?>"></script>
-       <script type="text/javascript" charset="utf-8" src="js/prefs.js?<?php echo $dt_add ?>"></script>
+       <script type="text/javascript">
+       <?php
+               require 'lib/jsmin.php';
+
+               global $pluginhost;
+
+               foreach ($pluginhost->get_plugins() as $n => $p) {
+                       if (method_exists($p, "get_prefs_js")) {
+                               echo JSMin::minify($p->get_prefs_js());
+                       }
+               }
+
+               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");
+                       }
+               }
+       ?>
+       </script>
  
         <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
  
@@ -102,12 +120,10 @@
                 href="backend.php?op=pref-users"
                 title="<?php echo __('Users') ?>"></div>
  <?php } ?>
-<?php if ($_SESSION["access_level"] >= 10 || SINGLE_USER_MODE) { ?>
-       <div id="instanceConfigTab" dojoType="dijit.layout.ContentPane"
-               href="backend.php?op=pref-instances"
-               title="<?php echo __('Linked') ?>"></div>
-<?php } ?>
-
+<?php
+       $pluginhost->run_hooks($pluginhost::HOOK_PREFS_TABS,
+               "hook_prefs_tabs", false);
+?>
  </div>
  
  <div id="footer" dojoType="dijit.layout.ContentPane" region="bottom">