[MediaWiki-commits] [Gerrit] mediawiki/core[master]: stylelint: fix a warning
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
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: