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-config.git;a=blob;f=mediawiki-extensions.yaml 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 _______________________________________________ Wikitech-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikitech-l
