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 5d2c5aeaa1 Remove a small piece of unused code from reference.js 
Turns out this was only in place because the test was
(intentionally) incomplete. But it's dead code in
production. Let's get rid of it.

Change-Id: Ieeb145b6972dceb7eeda3a167d907b680d5c3ce4
2021-05-07 16:43:01 +02:00
..
dist Remove a small piece of unused code from reference.js 2021-05-07 16:43:01 +02:00
ext.popups Enable Popups module in mobile, use feature detection to enable 2020-04-02 18:23:31 +00:00
ext.popups.images build: Upgrade 'svgo' & re-crush SVGs 2021-04-28 07:28:16 +00:00