build: Update linters

Change-Id: Iee462bae8112755e7cd0c5caa88c3fc6fcdc852e

.stylelintrc.json

@@ -2,7 +2,7 @@
 	"extends": "stylelint-config-wikimedia",
 	"rules": {
 		"no-duplicate-selectors": null,
-		"selector-no-id": null,
+		"selector-max-id": null,
 		"declaration-no-important": null,
 		"no-descending-specificity": null
 	}

package.json

@@ -4,13 +4,13 @@
     "test": "grunt test"
   },
   "devDependencies": {
-    "eslint-config-wikimedia": "0.4.0",
+    "eslint-config-wikimedia": "0.5.0",
     "grunt": "1.0.1",
     "grunt-banana-checker": "0.6.0",
-    "grunt-eslint": "20.0.0",
+    "grunt-eslint": "20.1.0",
     "grunt-jsonlint": "1.1.0",
-    "grunt-stylelint": "0.7.0",
-    "stylelint": "7.8.0",
-    "stylelint-config-wikimedia": "0.4.1"
+    "grunt-stylelint": "0.9.0",
+    "stylelint": "8.2.0",
+    "stylelint-config-wikimedia": "0.4.2"
   }
 }

resources/forms.less

@@ -96,7 +96,6 @@ label {
  */
 
 /* pile of bad hacks to try to catch all the different ones */
-#searchInput,
 input[ name='target' ],
 input[ name='user' ],
 input[ name='mime' ],
@@ -110,7 +109,8 @@ input.mw-input,
 .mw-input input,
 textarea,
 .mw-ui-input-inline,
-.mw-ui-input {
+.mw-ui-input,
+#searchInput {
 	box-sizing: border-box;
 	padding: 0.25em 0.35em;
 	border: solid 1px @grey;