diff options
author | Andrew Dolgov <[email protected]> | 2019-12-18 14:27:40 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2019-12-18 14:27:40 +0300 |
commit | 72d0fac80c0d88d015203578007260c338b40ece (patch) | |
tree | ef8180d43cb63a1236cae4c60e1381bc06d90f20 /index.php | |
parent | 10aabfcd09958b6e7ac5a814c96e08a190990b08 (diff) |
remove version.php and VERSION global constant, do version-related things in a slightly less ridiculous way
Diffstat (limited to 'index.php')
-rw-r--r-- | index.php | 5 |
1 files changed, 0 insertions, 5 deletions
@@ -23,7 +23,6 @@ require_once "sessions.php"; require_once "functions.php"; require_once "sanity_check.php"; - require_once "version.php"; require_once "config.php"; require_once "db-prefs.php"; @@ -40,10 +39,6 @@ <title>Tiny Tiny RSS</title> <meta name="viewport" content="initial-scale=1,width=device-width" /> - <script type="text/javascript"> - var __ttrss_version = "<?php echo VERSION ?>" - </script> - <?php if ($_SESSION["uid"]) { $theme = get_pref("USER_CSS_THEME", false, false); if ($theme && theme_exists("$theme")) { |