wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2025-01-07 10:44:24 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/styles/tools
History
Ed Sanders 3f892fe368 Simplify pulsating dot to one DOM node using :before/:after 
Change-Id: I81af08d58a33b6d3751bfc5012217b9bd98e69dc
2019-06-27 15:35:50 +01:00
..
images
ve.ui.MWEducationPopupTool.css
ve.ui.MWFormatTool-minerva.css
ve.ui.MWFormatTool-monobook.css
ve.ui.MWFormatTool-vector.css
ve.ui.MWLinkInspectorTool.css
ve.ui.MWPopupTool.css