[MediaWiki-commits] [Gerrit] jsduck: Add `Text` type to external known styles - change (mediawiki...VisualEditor)

[jenkins-bot (Code Review)]

jenkins-bot has submitted this change and it was merged.

Change subject: jsduck: Add `Text` type to external known styles
..


jsduck: Add `Text` type to external known styles

Used in VE-core since Ib7beda39; not entirely sure how the pull-through
merged without this.

Change-Id: Ib4b91d1cf7ed63550d47ac90d8972eff023950b6
---
M jsduck.json
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Alex Monk: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/jsduck.json b/jsduck.json
index cb0ae96..005c600 100644
--- a/jsduck.json
+++ b/jsduck.json
@@ -7,7 +7,7 @@
"--processes": "0",
"--warnings-exit-nonzero": true,
"--builtin-classes": true,
-   "--external": 
"HTMLDocument,Window,Node,Set,Range,Selection,ClientRect,File,Blob,DataTransfer,DataTransferItem,KeyboardEvent,MouseEvent",
+   "--external": 
"HTMLDocument,Window,Node,Text,Set,Range,Selection,ClientRect,File,Blob,DataTransfer,DataTransferItem,KeyboardEvent,MouseEvent",
"--warnings": ["-nodoc(class,public)"],
"--": [
".jsduck/external.js",

-- 
To view, visit https://gerrit.wikimedia.org/r/268929
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ib4b91d1cf7ed63550d47ac90d8972eff023950b6
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/VisualEditor
Gerrit-Branch: master
Gerrit-Owner: Jforrester 
Gerrit-Reviewer: Alex Monk 
Gerrit-Reviewer: Esanders 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] jsduck: Add `Text` type to external known styles - change (mediawiki...VisualEditor)

[Jforrester (Code Review)]

Jforrester has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/268929

Change subject: jsduck: Add `Text` type to external known styles
..

jsduck: Add `Text` type to external known styles

Used in VE-core since Ib7beda39; not entirely sure how the pull-through
merged without this.

Change-Id: Ib4b91d1cf7ed63550d47ac90d8972eff023950b6
---
M jsduck.json
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/VisualEditor 
refs/changes/29/268929/1

diff --git a/jsduck.json b/jsduck.json
index cb0ae96..005c600 100644
--- a/jsduck.json
+++ b/jsduck.json
@@ -7,7 +7,7 @@
"--processes": "0",
"--warnings-exit-nonzero": true,
"--builtin-classes": true,
-   "--external": 
"HTMLDocument,Window,Node,Set,Range,Selection,ClientRect,File,Blob,DataTransfer,DataTransferItem,KeyboardEvent,MouseEvent",
+   "--external": 
"HTMLDocument,Window,Node,Text,Set,Range,Selection,ClientRect,File,Blob,DataTransfer,DataTransferItem,KeyboardEvent,MouseEvent",
"--warnings": ["-nodoc(class,public)"],
"--": [
".jsduck/external.js",

-- 
To view, visit https://gerrit.wikimedia.org/r/268929
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Ib4b91d1cf7ed63550d47ac90d8972eff023950b6
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/VisualEditor
Gerrit-Branch: master
Gerrit-Owner: Jforrester 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits