[MediaWiki-commits] [Gerrit] mediawiki...CategoryTree[master]: Change from jshint to eslint

2017-05-01 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/351103 ) Change subject: Change from jshint to eslint .. Change from jshint to eslint Change-Id: I9d8a31c8048f9d80e8395a637573272ca5f9fe

[MediaWiki-commits] [Gerrit] mediawiki...CategoryTree[master]: Change from jshint to eslint

2017-04-30 Thread Fomafix (Code Review)
Fomafix has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/351103 ) Change subject: Change from jshint to eslint .. Change from jshint to eslint Change-Id: I9d8a31c8048f9d80e8395a637573272ca5f9fea5 --- A .es