<?php
- define('VERSION_STATIC', '16.1');
+ define('VERSION_STATIC', '17.12');
function get_version() {
date_default_timezone_set('UTC');
return VERSION_STATIC . " ($suffix)";
} else {
- $suffix = trim($head, 0, 7);
+ $suffix = substr(trim($head), 0, 7);
$timestamp = filemtime("$root_dir/.git/HEAD");
define("GIT_VERSION_HEAD", $suffix);
}
define('VERSION', get_version());
-?>