jenkins-bot has submitted this change and it was merged.

Change subject: Add Gather extension
......................................................................


Add Gather extension

Change-Id: I1f1ca51eca53626da5813af4e660a999eeda6e0d
---
M .gitmodules
A extensions/Gather
2 files changed, 3 insertions(+), 0 deletions(-)

Approvals:
  20after4: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.gitmodules b/.gitmodules
index 95c719c..51708a5 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -154,6 +154,9 @@
 [submodule "extensions/Gadgets"]
        path = extensions/Gadgets
        url = https://gerrit.wikimedia.org/r/p/mediawiki/extensions/Gadgets.git
+[submodule "extensions/Gather"]
+        path = extensions/Gather
+        url = https://gerrit.wikimedia.org/r/p/mediawiki/extensions/Gather.git
 [submodule "extensions/GeoCrumbs"]
        path = extensions/GeoCrumbs
        url = 
https://gerrit.wikimedia.org/r/p/mediawiki/extensions/GeoCrumbs.git
diff --git a/extensions/Gather b/extensions/Gather
new file mode 160000
index 0000000..5ada851
--- /dev/null
+++ b/extensions/Gather
+Subproject commit 5ada85125bdaa0e5c56c42ab7551624529edbf12

-- 
To view, visit https://gerrit.wikimedia.org/r/201346
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I1f1ca51eca53626da5813af4e660a999eeda6e0d
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: wmf/1.25wmf24
Gerrit-Owner: 20after4 <[email protected]>
Gerrit-Reviewer: 20after4 <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to