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-conf...
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