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
History
Thiemo Kreuz e4da147efa Update JSDoc types and comments to be more specific 
For example: We know the HTML element we are dealing with is
always an <a> element.

I believe the small changes in this patch are all obvious and
non-controversial. Please let me know if you disagree.

Change-Id: I9fe15845affffdd0f5f0fd6ef7d6b607cb567ac7
2021-05-07 11:57:58 +02:00
..
dist Update JSDoc types and comments to be more specific 2021-05-07 11:57:58 +02:00
ext.popups
ext.popups.images build: Upgrade 'svgo' & re-crush SVGs 2021-04-28 07:28:16 +00:00