gitdir: ../.git/modules/php_shared
