gitdir: ../../../.git/modules/src/php/php_shared
