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 <jforres...@wikimedia.org>
Gerrit-Reviewer: Alex Monk <kren...@gmail.com>
Gerrit-Reviewer: Esanders <esand...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>

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

Reply via email to