Add support for commondir file in .git dir

- See : https://git-scm.com/docs/gitrepository-layout/2.5.1 - See : https://git-scm.com/docs/gitrepository-layout #14391 Cherry-picked-from: 13e34b4 Signed-off-by: William Desportes <williamdes@wdes.fr>
phpmyadmin · Dec 21, 2018 · 1ead268 · 1ead268
1 parent d7bea5c
commit 1ead268
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/libraries/classes/Config.php b/libraries/classes/Config.php
@@ -403,6 +403,10 @@ public function checkGitRevision()
             return;
         }
 
+        if ($common_dir_contents = @file_get_contents($git_folder . '/commondir')) {
+            $git_folder = $git_folder . DIRECTORY_SEPARATOR . trim($common_dir_contents);
+        }
+
         $branch = false;
         // are we on any branch?
         if (strstr($ref_head, '/')) {