Le 20/11/12 23:27, Krinkle a écrit :
TL;DR: jshint is now running from Jenkins on
mediawiki/core
(joining the linting sequence for php and puppet files).
I have also enabled it on a few extensions, will add more of them over
the next days.
The list of linted extensions is listed in mediawiki-extensions.yaml of
integration/jenkins-job-builder-config.git
https://gerrit.wikimedia.org/r/gitweb?p=integration/jenkins-job-builder-con…
Look at the bottom for the -project key. Right now the list is:
- cldr
- DataValues
- Diff
- Echo
- EtherEditor
- EventLogging
- GeoData
- LabeledSectionTransclusion
- LiquidThreads
- MobileFrontend
- Renameuser
- Score
- SVGEdit
- TimedMediaHandler
- TitleBlacklist
- Translate
- TranslationNotifications
- UniversalLanguageSelector
- Validator
- VisualEditor
--
Antoine "hashar" Musso