wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-04 02:39:02 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/styles/tools
History
Ed Sanders 9f5944af9e ve.ui.MWTargetWidget: Remove top margin in Vector 2022 
Change-Id: I3d079a9e1b44821180c849c2c018a2314b2e089e
2022-08-11 14:27:53 +01:00
..
images
ve.ui.MWFormatTool-minerva.css
ve.ui.MWFormatTool-monobook.css
ve.ui.MWFormatTool-vector.css
ve.ui.MWLinkInspectorTool.css
ve.ui.MWPopupTool.css
ve.ui.MWTargetWidget-vector.less ve.ui.MWTargetWidget: Remove top margin in Vector 2022 2022-08-11 14:27:53 +01:00