jenkins-bot has submitted this change and it was merged.
Change subject: Amend .jshintrc/.jscsrc for further development
......................................................................
Amend .jshintrc/.jscsrc for further development
Needed in a follow-up.
Change-Id: If1958baf90b9a99d86c9c05a78287447fd5e7160
---
M .jscsrc
M .jshintrc
2 files changed, 14 insertions(+), 3 deletions(-)
Approvals:
Lucie Kaffee: Looks good to me, approved
jenkins-bot: Verified
diff --git a/.jscsrc b/.jscsrc
index 9d22e3f..8bb503d 100644
--- a/.jscsrc
+++ b/.jscsrc
@@ -1,3 +1,12 @@
{
- "preset": "wikimedia"
+ "preset": "wikimedia",
+ "jsDoc": {
+ "checkAnnotations": {
+ "preset": "jsduck5",
+ "extra": {
+ "license": true,
+ "licence": true
+ }
+ }
+ }
}
diff --git a/.jshintrc b/.jshintrc
index d43c482..d123347 100644
--- a/.jshintrc
+++ b/.jshintrc
@@ -2,7 +2,6 @@
// Enforcing
"bitwise": true,
"eqeqeq": true,
- "es3": true,
"latedef": true,
"noarg": true,
"nonew": true,
@@ -15,6 +14,9 @@
"globals": {
"mw": false,
- "$": false
+ "$": false,
+ "jQuery": false,
+ "mediaWiki": false,
+ "OO": false
}
}
--
To view, visit https://gerrit.wikimedia.org/r/250042
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: If1958baf90b9a99d86c9c05a78287447fd5e7160
Gerrit-PatchSet: 11
Gerrit-Project: mediawiki/extensions/ArticlePlaceholder
Gerrit-Branch: master
Gerrit-Owner: Hoo man <[email protected]>
Gerrit-Reviewer: Lucie Kaffee <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
