Searched refs:pathToHead (Results 1 – 1 of 1) sorted by relevance
108 $pathToHead = DOKU_INC . '.git/' . $headCommit;109 if (file_exists($pathToHead)) {110 $headCommit = trim(file_get_contents($pathToHead));