+[submodule "extensions/CategoryTree"]
+ path = extensions/CategoryTree
+ url = https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree
+ branch = REL1_31
[submodule "extensions/Cite"]
path = extensions/Cite
url = https://gerrit.wikimedia.org/r/mediawiki/extensions/Cite
path = extensions/PdfHandler
url = https://gerrit.wikimedia.org/r/mediawiki/extensions/PdfHandler
branch = REL1_31
+[submodule "skins/Timeless"]
+ path = skins/Timeless
+ url = https://gerrit.wikimedia.org/r/mediawiki/skins/Timeless
+ branch = REL1_31
+[submodule "extensions/ReplaceText"]
+ path = extensions/ReplaceText
+ url = https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText
+ branch = REL1_31