[MediaWiki-commits] [Gerrit] mediawiki...Wikibase[master]: build: Bump CI development dependencies
jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/394605 )
Change subject: build: Bump CI development dependencies
..
build: Bump CI development dependencies
grunt-eslint20.0.0 → 20.1.0
grunt-stylelint 0.8.0 → 0.9.0
stylelint7.8.0 → 8.2.0
stylelint-config-wikimedia 0.4.1 → 0.4.2
Also exempt the extensions directory from linting now it exists.
Change-Id: I78d2958cb3828f436eed7a0d9401b81201f4dc34
---
M .stylelintrc.json
M Gruntfile.js
M package.json
3 files changed, 9 insertions(+), 7 deletions(-)
Approvals:
jenkins-bot: Verified
Thiemo Mättig (WMDE): Looks good to me, approved
diff --git a/.stylelintrc.json b/.stylelintrc.json
index 880ad7a..9bd3fc5 100644
--- a/.stylelintrc.json
+++ b/.stylelintrc.json
@@ -1,7 +1,7 @@
{
"extends": "stylelint-config-wikimedia",
"rules": {
- "selector-no-id": null,
+ "selector-max-id": null,
"no-duplicate-selectors": null,
"no-descending-specificity": null,
"declaration-no-important": null
diff --git a/Gruntfile.js b/Gruntfile.js
index 7897255..8cccae9 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -14,7 +14,8 @@
all: [
'**/*.json',
'!node_modules/**',
- '!vendor/**'
+ '!vendor/**',
+ '!extensions/**'
]
},
stylelint: {
@@ -24,7 +25,8 @@
'!view/resources/jquery/ui/**',
'!view/lib/**',
'!node_modules/**',
- '!vendor/**'
+ '!vendor/**',
+ '!extensions/**'
]
},
banana: {
diff --git a/package.json b/package.json
index ac9ee18..f31f2fa 100644
--- a/package.json
+++ b/package.json
@@ -14,10 +14,10 @@
"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.8.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"
}
}
--
To view, visit https://gerrit.wikimedia.org/r/394605
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I78d2958cb3828f436eed7a0d9401b81201f4dc34
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/Wikibase
Gerrit-Branch: master
Gerrit-Owner: Jforrester
Gerrit-Reviewer: Jforrester
Gerrit-Reviewer: Thiemo Mättig (WMDE)
Gerrit-Reviewer: jenkins-bot <>
___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] mediawiki...Wikibase[master]: build: Bump CI development dependencies
Jforrester has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/394605 )
Change subject: build: Bump CI development dependencies
..
build: Bump CI development dependencies
grunt-eslint20.0.0 → 20.1.0
grunt-stylelint 0.8.0 → 0.9.0
stylelint7.8.0 → 8.2.0
stylelint-config-wikimedia 0.4.1 → 0.4.2
Also exempt the extensions directory from linting now it exists.
Change-Id: I78d2958cb3828f436eed7a0d9401b81201f4dc34
---
M .stylelintrc.json
M Gruntfile.js
M package.json
3 files changed, 9 insertions(+), 7 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Wikibase
refs/changes/05/394605/1
diff --git a/.stylelintrc.json b/.stylelintrc.json
index 880ad7a..9bd3fc5 100644
--- a/.stylelintrc.json
+++ b/.stylelintrc.json
@@ -1,7 +1,7 @@
{
"extends": "stylelint-config-wikimedia",
"rules": {
- "selector-no-id": null,
+ "selector-max-id": null,
"no-duplicate-selectors": null,
"no-descending-specificity": null,
"declaration-no-important": null
diff --git a/Gruntfile.js b/Gruntfile.js
index 7897255..8cccae9 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -14,7 +14,8 @@
all: [
'**/*.json',
'!node_modules/**',
- '!vendor/**'
+ '!vendor/**',
+ '!extensions/**'
]
},
stylelint: {
@@ -24,7 +25,8 @@
'!view/resources/jquery/ui/**',
'!view/lib/**',
'!node_modules/**',
- '!vendor/**'
+ '!vendor/**',
+ '!extensions/**'
]
},
banana: {
diff --git a/package.json b/package.json
index ac9ee18..f31f2fa 100644
--- a/package.json
+++ b/package.json
@@ -14,10 +14,10 @@
"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.8.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"
}
}
--
To view, visit https://gerrit.wikimedia.org/r/394605
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I78d2958cb3828f436eed7a0d9401b81201f4dc34
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Wikibase
Gerrit-Branch: master
Gerrit-Owner: Jforrester
___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
