Merge "Adding CategoryTree" into REL1_31

diff --git a/.gitmodules b/.gitmodules
index f505067..b05ccf1 100644 (file)
--- a/.gitmodules
+++ b/.gitmodules
@@ -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
+++ b/extensions/CategoryTree
@@ -0,0 +1 @@
+Subproject commit c24e5edb2fd97da91cb659f2582439a7ff791e94