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
Ed Sanders 536470c01d build: Update eslint-config-wikimedia to 0.16.2 
Change-Id: Icb65074fe64993314bbb28f690ce3ce0f89fb57c
2020-06-26 17:05:56 +01:00
..
dist build: Update eslint-config-wikimedia to 0.16.2 2020-06-26 17:05:56 +01:00
ext.popups Enable Popups module in mobile, use feature detection to enable 2020-04-02 18:23:31 +00:00
ext.popups.images svgmin optimizations on updated OOUI icons 2019-04-18 19:21:48 +00:00