Thijs/wiki.techinc.nl
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

mediawiki.loader: fix JSDoc type for mw.loader.addStyleTag

Browse source 
HTMLElement does not have the `sheet` property of HTMLStyleElement.

Issue originally spotted by AnYiEE in
https://github.com/wikimedia-gadgets/types-mediawiki/pull/21

Change-Id: I1c83e753be0204e8b18fc466dd23091a8d5df34a
This commit is contained in:
Siddharth VP 2023-06-16 15:18:13 +05:30 committed by Bartosz Dziewoński
parent 11f6d906a9
commit be8c592a5c
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
jsduck.json
View file

@ -7,7 +7,7 @@
"--builtin-classes": true,
"--processes": "0",
"--warnings-exit-nonzero": true,
"--external": "Blob,File,FileList,HTMLDocument,HTMLElement,HTMLIFrameElement,HTMLInputElement,HTMLBodyElement,HTMLHtmlElement,KeyboardEvent,MouseEvent,Node,Window,XMLDocument,Set",
"--external": "Blob,File,FileList,HTMLDocument,HTMLElement,HTMLIFrameElement,HTMLInputElement,HTMLBodyElement,HTMLHtmlElement,HTMLStyleElement,KeyboardEvent,MouseEvent,Node,Window,XMLDocument,Set",
"--output": "docs/js",
"--exclude": [
"resources/src/jquery.tablesorter",

2
resources/src/startup/mediawiki.loader.js
View file

@ -212,7 +212,7 @@
* @param {string} text CSS text
* @param {Node|null} [nextNode] The element where the style tag
* should be inserted before
* @return {HTMLElement} Reference to the created style element
* @return {HTMLStyleElement} Reference to the created style element
*/
function newStyleTag( text, nextNode ) {
var el = document.createElement( 'style' );