Jforrester has uploaded a new change for review.
https://gerrit.wikimedia.org/r/206041
Change subject: Move Math repo from #mediawiki-visualeditor to
#wikimedia-editing
......................................................................
Move Math repo from #mediawiki-visualeditor to #wikimedia-editing
Change-Id: I22c0e379c07c0099c3a5dfbe6a2e13b4c45d10db
---
M config.yaml
1 file changed, 2 insertions(+), 2 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/labs/tools/grrrit
refs/changes/41/206041/1
diff --git a/config.yaml b/config.yaml
index 80aaae2..f6fa213 100644
--- a/config.yaml
+++ b/config.yaml
@@ -28,7 +28,6 @@
}
"#mediawiki-visualeditor": {
"mediawiki/extensions/Citoid",
- "mediawiki/extensions/Math",
"mediawiki/extensions/TemplateData",
"mediawiki/extensions/VisualEditor",
"mediawiki/extensions/WikiEditor",
@@ -39,6 +38,7 @@
"mediawiki/extensions/Cite$",
"mediawiki/extensions/CiteThisPage",
"mediawiki/extensions/CodeEditor",
+ "mediawiki/extensions/Math",
"mediawiki/extensions/ParserFunctions",
"mediawiki/skins/apex",
"mediawiki/skins/Vector",
@@ -80,13 +80,13 @@
"mediawiki/extensions/Campaigns",
"mediawiki/extensions/EducationProgram",
# These are sent to #mediawiki-visualeditor too
- "mediawiki/extensions/Math",
"mediawiki/extensions/ParserFunctions",
"mediawiki/extensions/WikiEditor",
# These are sent to #wikimedia-editing too
"mediawiki/extensions/Cite$",
"mediawiki/extensions/CiteThisPage",
"mediawiki/extensions/CodeEditor",
+ "mediawiki/extensions/Math",
"mediawiki/skins/Vector",
# These are sent to #brickimedia too
"mediawiki/extensions/MediaWikiChat"
--
To view, visit https://gerrit.wikimedia.org/r/206041
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I22c0e379c07c0099c3a5dfbe6a2e13b4c45d10db
Gerrit-PatchSet: 1
Gerrit-Project: labs/tools/grrrit
Gerrit-Branch: master
Gerrit-Owner: Jforrester <jforres...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
