jenkins-bot has submitted this change and it was merged.
Change subject: Remove mwext-Wikidata-jslint
......................................................................
Remove mwext-Wikidata-jslint
Follows-up I1651aebc.
Change-Id: I17e8b565dee113d6430241cac80709ff1cd60c7a
---
M jjb/mediawiki-extensions.yaml
1 file changed, 0 insertions(+), 1 deletion(-)
Approvals:
Krinkle: Looks good to me, approved
jenkins-bot: Verified
diff --git a/jjb/mediawiki-extensions.yaml b/jjb/mediawiki-extensions.yaml
index 0920dc8..b6ad09d 100644
--- a/jjb/mediawiki-extensions.yaml
+++ b/jjb/mediawiki-extensions.yaml
@@ -965,7 +965,6 @@
- mwext-WikibaseMobile
- mwext-WikibaseSolr
- mwext-WikiCategoryTagCloud
- - mwext-Wikidata
- mwext-WikidataEntitySuggester
- mwext-WikiLovesMonuments
- mwext-WikiObjectModel
--
To view, visit https://gerrit.wikimedia.org/r/204512
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I17e8b565dee113d6430241cac80709ff1cd60c7a
Gerrit-PatchSet: 1
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Krinkle <krinklem...@gmail.com>
Gerrit-Reviewer: Hashar <has...@free.fr>
Gerrit-Reviewer: Krinkle <krinklem...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
