diff --git a/package.json b/package.json index 369d09c0..a2a09601 100644 --- a/package.json +++ b/package.json @@ -9,7 +9,7 @@ "grunt-banana-checker": "0.5.0", "grunt-eslint": "19.0.0", "grunt-jsonlint": "1.1.0", - "grunt-stylelint": "0.6.0", - "stylelint-config-wikimedia": "0.3.0" + "grunt-stylelint": "0.7.0", + "stylelint-config-wikimedia": "0.4.1" } } diff --git a/resources/css/ext.uls.pt.less b/resources/css/ext.uls.pt.less index 05982b19..f6734e03 100644 --- a/resources/css/ext.uls.pt.less +++ b/resources/css/ext.uls.pt.less @@ -26,11 +26,13 @@ /* Opera for some inexplicable reason confuses right and left padding with */ /* RTL text direction here (bug T47142). x:-o-prefocus won't match anything, */ /* but will make other browsers ignore this rule. */ +/* stylelint-disable selector-type-no-unknown */ x:-o-prefocus, body.rtl li#pt-uls { /* @noflip */ direction: ltr; } +/* stylelint-enable selector-type-no-unknown */ /* Don't show it to users who disabled JS */ .client-nojs #pt-uls {