2006-08-19 09:04:45 +02:00
|
|
|
<?php
|
2015-07-09 20:47:42 +02:00
|
|
|
define('VERSION_STATIC', '15.7');
|
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__));
|
|
|
|
|
|
2013-06-26 15:20:03 +02:00
|
|
|
if (is_dir("$root_dir/.git") && file_exists("$root_dir/.git/refs/heads/master")) {
|
2013-04-23 18:22:55 +02:00
|
|
|
|
2013-06-26 15:20:03 +02:00
|
|
|
$suffix = substr(trim(file_get_contents("$root_dir/.git/refs/heads/master")), 0, 7);
|
2015-02-03 12:39:15 +01:00
|
|
|
$timestamp = filemtime("$root_dir/.git/refs/heads/master");
|
|
|
|
|
|
|
|
|
|
define("GIT_VERSION_HEAD", $suffix);
|
|
|
|
|
define("GIT_VERSION_TIMESTAMP", $timestamp);
|
2013-04-23 18:22:55 +02:00
|
|
|
|
2015-07-09 20:47:42 +02:00
|
|
|
return VERSION_STATIC . " ($suffix)";
|
2013-04-23 18:22:55 +02:00
|
|
|
} else {
|
|
|
|
|
return VERSION_STATIC;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
define('VERSION', get_version());
|
2005-08-25 16:01:20 +02:00
|
|
|
?>
|
