jenkins-bot has submitted this change and it was merged.
Change subject: Add Kartographer
......................................................................
Add Kartographer
Bug: T127136
Change-Id: I554963b0d58bc8e6749dee2121664135448559bd
---
M .gitmodules
A extensions/Kartographer
2 files changed, 4 insertions(+), 0 deletions(-)
Approvals:
MaxSem: Looks good to me, approved
jenkins-bot: Verified
diff --git a/.gitmodules b/.gitmodules
index d3c041a..aef2819 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -650,3 +650,7 @@
path = vendor
url = https://gerrit.wikimedia.org/r/p/mediawiki/vendor.git
branch = wmf/1.27.0-wmf.15
+[submodule "extensions/Kartographer"]
+ path = extensions/Kartographer
+ url = https://gerrit.wikimedia.org/r/mediawiki/extensions/Kartographer
+ branch = wmf/1.27.0-wmf.15
diff --git a/extensions/Kartographer b/extensions/Kartographer
new file mode 160000
index 0000000..f1a50aa
--- /dev/null
+++ b/extensions/Kartographer
+Subproject commit f1a50aa1f13b8414973b40abb09a6e1743ba22e0
--
To view, visit https://gerrit.wikimedia.org/r/275671
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I554963b0d58bc8e6749dee2121664135448559bd
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: wmf/1.27.0-wmf.15
Gerrit-Owner: MaxSem <[email protected]>
Gerrit-Reviewer: MaxSem <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
