wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-30 00:55:00 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/styles/tools
History
Ed Sanders ec1a940616 Use pixel dimensions for education dots 
Bug: T214203
Change-Id: I02410b09d490c6a6ebd71cafa998f09c8cd1033f
2019-01-18 21:00:56 +00:00
..
images Remove execute mode from non-executable 2017-08-24 10:57:25 -04:00
ve.ui.MWEducationPopupTool.css Use pixel dimensions for education dots 2019-01-18 21:00:56 +00:00
ve.ui.MWFormatTool-minerva.css doc: Bump copyright year for 2019 2019-01-01 13:24:23 +00:00
ve.ui.MWFormatTool-monobook.css doc: Bump copyright year for 2019 2019-01-01 13:24:23 +00:00
ve.ui.MWFormatTool-vector.css doc: Bump copyright year for 2019 2019-01-01 13:24:23 +00:00
ve.ui.MWLinkInspectorTool.css doc: Bump copyright year for 2019 2019-01-01 13:24:23 +00:00
ve.ui.MWPopupTool.css doc: Bump copyright year for 2019 2019-01-01 13:24:23 +00:00