Le 06/04/12 19:58, Antoine Musso a écrit :
Le 06/04/12 15:16, Diederik van Liere wrote:
Thanks, I meant to say what languages initially will be supported
Most probably PHP first then Python since you have already provided a linter for it :-D
PHP linter is enabled on mediawiki/core.git as of April 8th. It is implemented as a Jenkins job running php -l on any file which have been modified.