From 2101b2e3b1a82bcc417287c7912cc259b14f88a7 Mon Sep 17 00:00:00 2001 From: Chad Horohoe Date: Wed, 18 Apr 2018 02:22:25 -0700 Subject: [PATCH] Adding CategoryTree Change-Id: I0e6a4c44596f1cd9f063b346f32b37bfd2d920d4 --- .gitmodules | 4 ++++ extensions/CategoryTree | 1 + 2 files changed, 5 insertions(+) create mode 160000 extensions/CategoryTree diff --git a/.gitmodules b/.gitmodules index f505067e46..b05ccf1f45 100644 --- 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 index 0000000000..c24e5edb2f --- /dev/null +++ b/extensions/CategoryTree @@ -0,0 +1 @@ +Subproject commit c24e5edb2fd97da91cb659f2582439a7ff791e94 -- 2.20.1