<?php
- define('VERSION_STATIC', '17.12');
+ define('VERSION_STATIC', '18.8');
function get_version() {
date_default_timezone_set('UTC');
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");