jenkins-bot has submitted this change and it was merged.
Change subject: Remove Vector from extensions
......................................................................
Remove Vector from extensions
Change-Id: Iae64d7f08edd572ca33f0ae7155d7b34dd91232d
---
M make-wmf-branch/default.conf
1 file changed, 0 insertions(+), 1 deletion(-)
Approvals:
Reedy: Looks good to me, approved
jenkins-bot: Verified
diff --git a/make-wmf-branch/default.conf b/make-wmf-branch/default.conf
index 04e0242..85c625b 100644
--- a/make-wmf-branch/default.conf
+++ b/make-wmf-branch/default.conf
@@ -142,7 +142,6 @@
'UploadWizard',
'UserDailyContribs',
'UserMerge',
- 'Vector',
'VectorBeta',
'VipsScaler',
'VisualEditor',
--
To view, visit https://gerrit.wikimedia.org/r/154057
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Iae64d7f08edd572ca33f0ae7155d7b34dd91232d
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/tools/release
Gerrit-Branch: master
Gerrit-Owner: Reedy <re...@wikimedia.org>
Gerrit-Reviewer: Reedy <re...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
