Merlijn van Deen has submitted this change and it was merged.
Change subject: added jsonconfig & maps to interactive
......................................................................
added jsonconfig & maps to interactive
Change-Id: I450eaf5946c80afb44dccd4def274c36cf1341e3
---
M config.yaml
1 file changed, 2 insertions(+), 0 deletions(-)
Approvals:
Merlijn van Deen: Verified; Looks good to me, approved
diff --git a/config.yaml b/config.yaml
index 79f2b08..828b06a 100644
--- a/config.yaml
+++ b/config.yaml
@@ -45,9 +45,11 @@
mediawiki/services/graphoid:
mediawiki/services/mathoid:
"#wikimedia-interactive":
+ mediawiki/extensions/JsonConfig:
mediawiki/extensions/Graph:
mediawiki/extensions/Kartographer:
mediawiki/services/graphoid:
+ maps/.*:
"#pywikibot":
pywikipediabot.*:
pywikibot.*:
--
To view, visit https://gerrit.wikimedia.org/r/284280
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I450eaf5946c80afb44dccd4def274c36cf1341e3
Gerrit-PatchSet: 1
Gerrit-Project: labs/tools/grrrit
Gerrit-Branch: master
Gerrit-Owner: Yurik <[email protected]>
Gerrit-Reviewer: Merlijn van Deen <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
