mediawiki-extensions-Visual.../modules/ve-mw/ui/styles/tools
Ed Sanders ec1a940616 Use pixel dimensions for education dots
Bug: T214203
Change-Id: I02410b09d490c6a6ebd71cafa998f09c8cd1033f
2019-01-18 21:00:56 +00: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