wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-12-18 10:10:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Popups/resources/ext.popups/styles
History
Ed Sanders c46b1c8db3 build: Update stylelint to 0.4.1 
Change-Id: I143662a36bf5d79cfc5b35ec62c3473f91afd14c
2017-03-20 14:50:42 +00:00
..
ext.popups.animation.less Remove unused code in repo 2017-02-02 16:18:41 -08:00
ext.popups.core.less build: Update stylelint to 0.4.1 2017-03-20 14:50:42 +00:00
ext.popups.settings.less Add close button to settings dialog 2017-02-01 12:06:38 -08:00