18c31b4b31
This provides a replacement for the only feature of the mw.Uri library that isn't handled by the standard URL class, allowing us to migrate away from it entirely in several extensions. The code and tests are adapted from mw.Uri. Change-Id: Ia95a27c7d7ebc9e4779f82598152145f02993b29
40 lines
1.6 KiB
JSON
40 lines
1.6 KiB
JSON
{
|
|
"--title": "MediaWiki core - Documentation",
|
|
"--categories": "maintenance/jsduck/categories.json",
|
|
"--eg-iframe": "maintenance/jsduck/eg-iframe.html",
|
|
"--tags": "maintenance/jsduck/custom_tags.rb",
|
|
"--warnings": [ "-nodoc(class,public),-global" ],
|
|
"--builtin-classes": true,
|
|
"--processes": "0",
|
|
"--warnings-exit-nonzero": true,
|
|
"--external": "Blob,File,FileList,HTMLDocument,HTMLElement,HTMLIFrameElement,HTMLInputElement,HTMLBodyElement,HTMLHtmlElement,HTMLStyleElement,KeyboardEvent,MouseEvent,Node,Window,XMLDocument,Set,URL,URLSearchParams",
|
|
"--output": "docs/js",
|
|
"--exclude": [
|
|
"resources/src/jquery.tablesorter",
|
|
"resources/src/jquery.tipsy",
|
|
"resources/src/jquery.color/jquery.color.js",
|
|
"resources/src/jquery/jquery.highlightText.js",
|
|
"resources/src/jquery/jquery.mw-jump.js",
|
|
"resources/src/mediawiki.base/legacy.wikibits.js",
|
|
"resources/src/mediawiki.legacy",
|
|
"resources/src/mediawiki.libs.jpegmeta/jpegmeta.js",
|
|
"resources/src/mediawiki.skinning",
|
|
"resources/src/startup/startup.js",
|
|
"resources/src/mediawiki.watchstar.widgets/WatchlistExpiryWidget.js",
|
|
"resources/src/es6-polyfills",
|
|
"resources/src/vue",
|
|
"resources/src/codex",
|
|
"resources/src/codex-search"
|
|
],
|
|
"--": [
|
|
"maintenance/jsduck/external.js",
|
|
"resources/src",
|
|
"resources/lib/jquery.client/jquery.client.js",
|
|
"resources/lib/ooui/oojs-ui-core.js",
|
|
"resources/lib/ooui/oojs-ui-widgets.js",
|
|
"resources/lib/ooui/oojs-ui-toolbars.js",
|
|
"resources/lib/ooui/oojs-ui-windows.js",
|
|
"resources/lib/ooui/oojs-ui-wikimediaui.js",
|
|
"resources/lib/ooui/oojs-ui-apex.js"
|
|
]
|
|
}
|