jenkins-bot has submitted this change and it was merged.
Change subject: Change jslint to jshint in SkelJS
......................................................................
Change jslint to jshint in SkelJS
Also add jsonlint test.
Change-Id: I7103a2a991dc9cc32b1ac9cd3b3c778fc9d707b9
---
M jjb/mediawiki-extensions.yaml
M zuul/layout.yaml
2 files changed, 2 insertions(+), 4 deletions(-)
Approvals:
Hashar: Looks good to me, approved
jenkins-bot: Verified
diff --git a/jjb/mediawiki-extensions.yaml b/jjb/mediawiki-extensions.yaml
index 49d58dd..18e8338 100644
--- a/jjb/mediawiki-extensions.yaml
+++ b/jjb/mediawiki-extensions.yaml
@@ -935,7 +935,6 @@
- mwext-SimpleSurvey
- mwext-SiteMetrics
- mwext-SiteSettings
- - mwext-SkelJS
- mwext-SkinPerNamespace
- mwext-skins
- mwext-SlimboxThumbs
diff --git a/zuul/layout.yaml b/zuul/layout.yaml
index 1ad2d91..6ab1cfc 100644
--- a/zuul/layout.yaml
+++ b/zuul/layout.yaml
@@ -1263,8 +1263,6 @@
voting: false
- name: mwext-SiteSettings-jslint
voting: false
- - name: mwext-SkelJS-jslint
- voting: false
- name: mwext-SkinPerNamespace-jslint
voting: false
- name: mwext-SlimboxThumbs-jslint
@@ -5860,7 +5858,8 @@
- name: mediawiki/extensions/SkelJS
template:
- - name: extension-jslint
+ - name: jsonlint
+ - name: jshint
- name: extension-unittests-generic
- name: mediawiki/extensions/SkinPerNamespace
--
To view, visit https://gerrit.wikimedia.org/r/228670
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I7103a2a991dc9cc32b1ac9cd3b3c778fc9d707b9
Gerrit-PatchSet: 11
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Paladox <thomasmulhall...@yahoo.com>
Gerrit-Reviewer: Dduvall <dduv...@wikimedia.org>
Gerrit-Reviewer: Hashar <has...@free.fr>
Gerrit-Reviewer: Paladox <thomasmulhall...@yahoo.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
