Werdna has uploaded a new change for review.
https://gerrit.wikimedia.org/r/191888
Change subject: Add OOUIPlayground extension to Jenkins config
......................................................................
Add OOUIPlayground extension to Jenkins config
Change-Id: I4dc52974b8ecf19d7b9c5059afc8fdb1eed99ae2
---
M jjb/mediawiki-extensions.yaml
1 file changed, 1 insertion(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/integration/config
refs/changes/88/191888/1
diff --git a/jjb/mediawiki-extensions.yaml b/jjb/mediawiki-extensions.yaml
index 0f02b11..76b1266 100644
--- a/jjb/mediawiki-extensions.yaml
+++ b/jjb/mediawiki-extensions.yaml
@@ -757,6 +757,7 @@
- OnlineStatus
- OnlineStatusBar
- OnlyRecentRecentChanges
+ - OOUIPlayground
- OpenBadges
- OpenGraphMeta
- OpenID
--
To view, visit https://gerrit.wikimedia.org/r/191888
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I4dc52974b8ecf19d7b9c5059afc8fdb1eed99ae2
Gerrit-PatchSet: 1
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Werdna <agarr...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
