wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-11-28 01:10:04 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Popups/resources
History
Ed Sanders 998d7c4f22 build: Update linters 
Change-Id: I1af64c55fdd26a2923a1ec20500e97ea13d92bc8
2018-02-04 22:09:45 +00:00
..
dist Limit line length to 80 characters 2018-01-19 14:20:39 +01:00
ext.popups build: Update linters 2018-02-04 22:09:45 +00:00
ext.popups.images Use standard close icon 2017-11-01 17:00:11 +00:00