Lines Matching +full:git -(+path:inc +path:lang) -(+path:lib +path:plugins +path:lang) -(+path:lib +path:tpl +path:dokuwiki +path:lang)
88 } elseif (is_dir(DOKU_INC . '.git')) {
89 $version['type'] = 'Git';
92 // First try to get date and commit hash by calling Git
94 $commitInfo = shell_exec("git log -1 --pretty=format:'%h %cd' --date=short");
102 // we cannot use git on the shell -- let's do it manually!
103 if (file_exists(DOKU_INC . '.git/HEAD')) {
104 $headCommit = trim(file_get_contents(DOKU_INC . '.git/HEAD'));
108 $pathToHead = DOKU_INC . '.git/' . $headCommit;
112 $packedRefs = file_get_contents(DOKU_INC . '.git/packed-refs');
123 // Get commit date from Git object
126 $gitCommitObject = DOKU_INC . ".git/objects/$subDir/$fileName";
150 * "Release" or "Git" and date is the date of the release or the date of the
152 * git checkouts.