build: Update linters

Change-Id: I45540db95711b461ded3630894bd1f149c24ff19
2017-11-29 15:02:47 +00:00
parent 72cf0a7f23
commit 447c09d462
8 changed files with 13 additions and 11 deletions
--- a/resources/css/ext.uls.pt.less
+++ b/resources/css/ext.uls.pt.less
@@ -1,6 +1,6 @@
@import 'mediawiki.mixins';

-/* stylelint-disable selector-no-id */
+/* stylelint-disable selector-max-id */

 /*
 * The trigger can be placed in the personal toolbar near the username