2006-08-19 09:04:45 +02:00
|
|
|
<?php
|
2017-12-03 11:38:25 +01:00
|
|
|
define('VERSION_STATIC', '17.12');
|
2013-04-23 18:22:55 +02:00
|
|
|
|
|
|
|
function get_version() {
|
2013-04-24 06:56:37 +02:00
|
|
|
date_default_timezone_set('UTC');
|
2013-04-23 18:22:55 +02:00
|
|
|
$root_dir = dirname(dirname(__FILE__));
|
|
|
|
|
2016-03-23 17:08:38 +01:00
|
|
|
if (is_dir("$root_dir/.git") && file_exists("$root_dir/.git/HEAD")) {
|
|
|
|
$head = trim(file_get_contents("$root_dir/.git/HEAD"));
|
2013-04-23 18:22:55 +02:00
|
|
|
|
2016-03-23 17:08:38 +01:00
|
|
|
if ($head) {
|
|
|
|
$matches = array();
|
2015-02-03 12:39:15 +01:00
|
|
|
|
2016-03-23 17:08:38 +01:00
|
|
|
if (preg_match("/^ref: (.*)/", $head, $matches)) {
|
|
|
|
$ref = $matches[1];
|
2013-04-23 18:22:55 +02:00
|
|
|
|
2018-06-08 22:07:30 +02:00
|
|
|
if (!file_exists("$root_dir/.git/$ref"))
|
|
|
|
return VERSION_STATIC;
|
2016-03-23 17:08:38 +01:00
|
|
|
$suffix = substr(trim(file_get_contents("$root_dir/.git/$ref")), 0, 7);
|
|
|
|
$timestamp = filemtime("$root_dir/.git/$ref");
|
|
|
|
|
|
|
|
define("GIT_VERSION_HEAD", $suffix);
|
|
|
|
define("GIT_VERSION_TIMESTAMP", $timestamp);
|
|
|
|
|
|
|
|
return VERSION_STATIC . " ($suffix)";
|
|
|
|
|
|
|
|
} else {
|
2016-03-28 12:26:09 +02:00
|
|
|
$suffix = substr(trim($head), 0, 7);
|
2016-03-23 17:08:38 +01:00
|
|
|
$timestamp = filemtime("$root_dir/.git/HEAD");
|
|
|
|
|
|
|
|
define("GIT_VERSION_HEAD", $suffix);
|
|
|
|
define("GIT_VERSION_TIMESTAMP", $timestamp);
|
|
|
|
|
|
|
|
return VERSION_STATIC . " ($suffix)";
|
|
|
|
}
|
|
|
|
}
|
2013-04-23 18:22:55 +02:00
|
|
|
}
|
2016-03-23 17:08:38 +01:00
|
|
|
|
|
|
|
return VERSION_STATIC;
|
|
|
|
|
2013-04-23 18:22:55 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
define('VERSION', get_version());
|