Florianschmidtwelzow has uploaded a new change for review.
https://gerrit.wikimedia.org/r/231579
Change subject: Remove WikiGrok as dependency from mediawiki-core phpunit
......................................................................
Remove WikiGrok as dependency from mediawiki-core phpunit
WikiGrok isn't deployed to any wmf wiki anymore and is unmaintained,
there is no need to test it with any core change.
Change-Id: I121e3bb800ce16b64a331546b6d2990da8a088d4
---
M jjb/mediawiki.yaml
1 file changed, 0 insertions(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/integration/config
refs/changes/79/231579/1
diff --git a/jjb/mediawiki.yaml b/jjb/mediawiki.yaml
index 0960988..4d39efa 100644
--- a/jjb/mediawiki.yaml
+++ b/jjb/mediawiki.yaml
@@ -357,7 +357,6 @@
Thanks
UniversalLanguageSelector
VisualEditor
- WikiGrok
ZeroBanner
ZeroPortal
- 'mediawiki-extensions-qunit':
--
To view, visit https://gerrit.wikimedia.org/r/231579
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I121e3bb800ce16b64a331546b6d2990da8a088d4
Gerrit-PatchSet: 1
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Florianschmidtwelzow <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
