Yurik has uploaded a new change for review.
https://gerrit.wikimedia.org/r/284280
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(-)
git pull ssh://gerrit.wikimedia.org:29418/labs/tools/grrrit
refs/changes/80/284280/1
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: newchange
Gerrit-Change-Id: I450eaf5946c80afb44dccd4def274c36cf1341e3
Gerrit-PatchSet: 1
Gerrit-Project: labs/tools/grrrit
Gerrit-Branch: master
Gerrit-Owner: Yurik <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
