wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-12-20 19:12:49 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Popups/resources/dist
History
Ed Sanders c0bf30fb58 Documentation fixes 
* Element -> HTMLElement
* JQuery -> jQuery
* Remove `return {void}`

Change-Id: I887dfe98af77358ad4ef4e1c835ccf45c2c64400
2023-11-30 10:38:07 +00:00
..
index.js eslint: Enforce no-use-before-define 2023-11-29 14:13:12 +00:00
index.js.map.json Documentation fixes 2023-11-30 10:38:07 +00:00