How should we handle mediawiki extension submodules?
Actually we shouldn't use submodules for extensions. Each extension generally has a tarball release. It's easier to just use that. For example, the extension that was causing the problem was Echo. Instead of using git we could just use the tarball download here: https://www.mediawiki.org/wiki/Special:ExtensionDistributor/Echo