]> git.wh0rd.org - tt-rss.git/blobdiff - include/version.php
bump version static
[tt-rss.git] / include / version.php
index 02bc7f3beef73e8a04776438df89cb6b90e76cc4..e5f91bd9cf9ce0411a7561debab14ab9593a6c6f 100644 (file)
@@ -1,5 +1,5 @@
 <?php
-       define('VERSION_STATIC', '17.4');
+       define('VERSION_STATIC', '18.12');
 
        function get_version() {
                date_default_timezone_set('UTC');
@@ -14,6 +14,8 @@
                                if (preg_match("/^ref: (.*)/", $head, $matches)) {
                                        $ref = $matches[1];
 
+                                       if (!file_exists("$root_dir/.git/$ref"))
+                                               return VERSION_STATIC;
                                        $suffix = substr(trim(file_get_contents("$root_dir/.git/$ref")), 0, 7);
                                        $timestamp = filemtime("$root_dir/.git/$ref");