jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/394398 )
Change subject: build: Update linters
......................................................................
build: Update linters
Change-Id: I14e5e99d3fb9bbeeb9a12f8ad35207b7e89f98b6
---
M modules/ve-graph/widgets/ve.dm.RowWidgetModel.js
M package.json
M styles/common.less
M styles/sandbox.css
4 files changed, 12 insertions(+), 12 deletions(-)
Approvals:
Yurik: Looks good to me, approved
jenkins-bot: Verified
diff --git a/modules/ve-graph/widgets/ve.dm.RowWidgetModel.js
b/modules/ve-graph/widgets/ve.dm.RowWidgetModel.js
index 979dd76..3435328 100644
--- a/modules/ve-graph/widgets/ve.dm.RowWidgetModel.js
+++ b/modules/ve-graph/widgets/ve.dm.RowWidgetModel.js
@@ -4,7 +4,7 @@
* @license The MIT License (MIT); see LICENSE.txt
*/
- /**
+/**
* RowWidget model.
*
* @class
@@ -75,7 +75,7 @@
* @param {boolean} Clear cell properties
*/
- /**
+/**
* @event labelUpdate
*
* Fired when the row label might need to be updated
diff --git a/package.json b/package.json
index f39028a..1874196 100644
--- a/package.json
+++ b/package.json
@@ -12,16 +12,16 @@
},
"devDependencies": {
"browserify": "^13.0.0",
- "eslint-config-wikimedia": "0.4.0",
+ "eslint-config-wikimedia": "0.5.0",
"grunt": "1.0.1",
- "grunt-banana-checker": "0.5.0",
+ "grunt-banana-checker": "0.6.0",
"grunt-contrib-watch": "1.0.0",
- "grunt-eslint": "19.0.0",
- "grunt-jsonlint": "1.0.7",
- "grunt-stylelint": "0.7.0",
+ "grunt-eslint": "20.0.0",
+ "grunt-jsonlint": "1.1.0",
+ "grunt-stylelint": "0.8.0",
"jquery.splitter": "^0.20.1",
"mw-graph-shared": "^0.3.6",
- "stylelint": "7.8.0",
- "stylelint-config-wikimedia": "0.4.1"
+ "stylelint": "8.2.0",
+ "stylelint-config-wikimedia": "0.4.2"
}
}
diff --git a/styles/common.less b/styles/common.less
index e4c7677..467c384 100644
--- a/styles/common.less
+++ b/styles/common.less
@@ -157,10 +157,10 @@
}
}
- /* stylelint-disable selector-no-id */
+ /* stylelint-disable selector-max-id */
/* Set graph width */
#mw-graph-json {
width: 100%;
}
- /* stylelint-enable selector-no-id */
+ /* stylelint-enable selector-max-id */
}
diff --git a/styles/sandbox.css b/styles/sandbox.css
index a629594..d815c43 100644
--- a/styles/sandbox.css
+++ b/styles/sandbox.css
@@ -1,4 +1,4 @@
-/* stylelint-disable selector-no-id */
+/* stylelint-disable selector-max-id */
#mw-graph-right .top_panel {
overflow: hidden;
--
To view, visit https://gerrit.wikimedia.org/r/394398
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I14e5e99d3fb9bbeeb9a12f8ad35207b7e89f98b6
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Graph
Gerrit-Branch: master
Gerrit-Owner: Esanders <[email protected]>
Gerrit-Reviewer: Yurik <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
