gitdir: ../../../.git/modules/mediawiki-shell
