wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-11-23 23:24:39 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Popups/resources/dist
History
Ed Sanders 9b8b402cb1 Update jsdoc to 4 and use jsdoc-wmf-theme 
Change-Id: Idb33efa5b714826550917397d4de1f2e5087f1bd
2024-04-29 19:17:17 +01:00
..
index.js Explicity disable popups on DiscussionTools' timestamp links 2024-04-28 08:09:31 +01:00
index.js.map.json Update jsdoc to 4 and use jsdoc-wmf-theme 2024-04-29 19:17:17 +01:00