Revert "remove default definition of SITE_TITLE; rename to _SITE_TITLE as with other...

This reverts commit 1f56ba13cd69efca4f24a3bce9a8bb8ebcf3ebac.

diff --git a/config.php-dist b/config.php-dist
index 192cb15f923139ab6722f3d8f33bac2382670ee8..c66fb39fac7486653cd827a7cb6fd8296393c151 100644 (file)
--- a/config.php-dist
+++ b/config.php-dist
@@ -186,6 +186,9 @@
        // Users may enable other user plugins from Preferences/Plugins but may not
        // disable plugins specified in this list.
 
+    define('SITE_TITLE', 'Tiny Tiny RSS');
+    // Change this value to customize the HTML page title
+
        define('CONFIG_VERSION', 26);
        // Expected config version. Please update this option in config.php
        // if necessary (after migrating all new options from this file).

diff --git a/include/functions.php b/include/functions.php
index 994b4c1794150797fadc8e694557cb4540c48d87..00dc6a8fefc852578a4de166eb65bec707140ed4 100644 (file)
--- a/include/functions.php
+++ b/include/functions.php
@@ -4086,10 +4086,10 @@
        }
 
     function get_site_title() {
-        if (defined("_SITE_TITLE")) {
-            return _SITE_TITLE;
-        } else {
-               return "Tiny Tiny RSS";
-                 }
+        $original_title = "Tiny Tiny RSS";
+        if (defined("SITE_TITLE")) {
+            return SITE_TITLE;
+        }
+        return $original_title;
     }
 ?>