Adding CategoryTree
authorChad Horohoe <chadh@wikimedia.org>
Wed, 18 Apr 2018 09:22:25 +0000 (02:22 -0700)
committerJames D. Forrester <jforrester@wikimedia.org>
Mon, 23 Apr 2018 15:13:38 +0000 (08:13 -0700)
Change-Id: I0e6a4c44596f1cd9f063b346f32b37bfd2d920d4

.gitmodules
extensions/CategoryTree [new submodule]

index f505067..b05ccf1 100644 (file)
@@ -1,3 +1,7 @@
+[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
diff --git a/extensions/CategoryTree b/extensions/CategoryTree
new file mode 160000 (submodule)
index 0000000..c24e5ed
--- /dev/null
@@ -0,0 +1 @@
+Subproject commit c24e5edb2fd97da91cb659f2582439a7ff791e94