jenkins-bot has submitted this change and it was merged.
Change subject: jobs for Wikidata extension
......................................................................
jobs for Wikidata extension
Generates jobs:
mwext-Wikidata-jslint
mwext-Wikidata-lint
mwext-Wikidata-phpcs-HEAD
mwext-Wikidata-testextensions-master
Change-Id: I0e852b9cc579188867491243e5bc7e8578622263
---
M mediawiki-extensions.yaml
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
Hashar: Looks good to me, approved
jenkins-bot: Verified
diff --git a/mediawiki-extensions.yaml b/mediawiki-extensions.yaml
index e2e4605..9628afb 100644
--- a/mediawiki-extensions.yaml
+++ b/mediawiki-extensions.yaml
@@ -377,6 +377,7 @@
- WikibaseDataModel
- WikibaseQuery
- WikibaseQueryEngine
+ - Wikidata
- WikiEditor
- wikihiero
- WikiLexicalData
--
To view, visit https://gerrit.wikimedia.org/r/88734
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I0e852b9cc579188867491243e5bc7e8578622263
Gerrit-PatchSet: 2
Gerrit-Project: integration/jenkins-job-builder-config
Gerrit-Branch: master
Gerrit-Owner: Addshore <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
