+ 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");
+
+ define("GIT_VERSION_HEAD", $suffix);
+ define("GIT_VERSION_TIMESTAMP", $timestamp);
+
+ return VERSION_STATIC . " ($suffix)";
+
+ } else {
+ $suffix = substr(trim($head), 0, 7);
+ $timestamp = filemtime("$root_dir/.git/HEAD");
+
+ define("GIT_VERSION_HEAD", $suffix);
+ define("GIT_VERSION_TIMESTAMP", $timestamp);
+
+ return VERSION_STATIC . " ($suffix)";
+ }
+ }