This website requires JavaScript.
Explore
Help
Register
Sign In
wikimedia
/
mediawiki-extensions-Popups
Watch
1
Star
0
Fork
You've already forked mediawiki-extensions-Popups
0
mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced
2024-11-24 15:44:09 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
da667c980d
mediawiki-extensions-Popups
/
resources
History
jenkins-bot
59290bcf4a
Merge "Remove duplicate events filtering"
2017-07-06 18:05:18 +00:00
..
dist
Remove duplicate events filtering
2017-07-06 17:38:42 +02:00
ext.popups
Enforce no top&bottom margins on lists on page previews
2017-06-30 20:51:21 +02:00
ext.popups.images
Optimise SVGs with svgo
2017-04-26 17:15:45 +01:00