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
Prateek Saxena 710b845da1 Add border around pokey of the popup 
Change-Id: Idead01aea93a685f9d061361cfd5978ad3dfda17
2014-03-17 08:28:50 +00:00
..
ext.popups.animation.less Make animation mixin cleaner 2014-02-27 15:19:41 +05:30
ext.popups.core.js Add border around pokey of the popup 2014-03-17 08:28:50 +00:00
ext.popups.core.less Add border around pokey of the popup 2014-03-17 08:28:50 +00:00