We need a Jenkins job able to lint the various languages and formats in use:
- PHP
- JavaScript
- CSS
And then optionally extended to, for usage outside of MediaWiki:
- python
- java
Could be named the universal linting job.
Version: unspecified
Severity: normal