[MediaWiki-commits] [Gerrit] mediawiki/core[master]: stylelint: fix a warning

2017-08-03 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/369912 ) Change subject: stylelint: fix a warning .. stylelint: fix a warning One warning isn't much, but zero is SO much better.

[MediaWiki-commits] [Gerrit] mediawiki/core[master]: stylelint: fix a warning

2017-08-03 Thread Sbisson (Code Review)
Sbisson has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/369912 ) Change subject: stylelint: fix a warning .. stylelint: fix a warning One warning isn't much, but zero is SO much better. Change-Id: