wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-25 06:46:26 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/styles/tools
History
jenkins-bot 03448253b3 Merge "Revert "Compress PNGs with zopflipng""
2016-02-28 00:29:30 +00:00
..
images Revert "Compress PNGs with zopflipng" 2016-02-28 00:07:50 +00:00
ve.ui.MWEducationPopupTool.css EducationPopupTool: Use vendor prefixes for animation 2016-02-26 15:34:06 +00:00
ve.ui.MWLinkInspectorTool.css build: Bump file copyright notices for 2016 2016-01-03 14:57:25 -08:00
ve.ui.MWPopupTool.css build: Bump file copyright notices for 2016 2016-01-03 14:57:25 -08:00