99faf592da
We cannot clone in these git repos because they are already git submodules which are checked out for us and you can't clone a git repo into a dir that exists. It seems that at some point the extensions that have been removed from our list here have made it into mediawiki's default extension list. Change-Id: Ibdf565506bef68a7d297fc73935ef817ef9d24e5 |
||
---|---|---|
files | ||
manifests | ||
spec/acceptance/nodesets | ||
templates | ||
.gitignore | ||
.gitreview | ||
Gemfile | ||
LICENSE | ||
Rakefile | ||
metadata.json |