wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 18:39:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/styles/tools
History
Ed Sanders ea03287908 Convert MWPopupTool into MWHelpListToolGroup 
The popup contains three buttons, one of which already exists
in core as a tool. By converting them all to tools we can reduce
some duplication, and better integrate with other features
that use the tool factory, such as HelpCompletionAction.

Bug: T339153
Change-Id: I81d217bc1ab9a1a6a9bf7c7ad588c2a3216b10db
2023-07-01 11:10:53 +01:00
..
images Rewrite EducationPopup so it isn't a mixin 2020-09-24 21:33:50 +01:00
ve.ui.MWFormatTool-minerva.css doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
ve.ui.MWFormatTool-monobook.css doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
ve.ui.MWFormatTool-vector.css doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
ve.ui.MWLinkInspectorTool.css Rewrite EducationPopup so it isn't a mixin 2020-09-24 21:33:50 +01:00
ve.ui.MWPopupTool.css Convert MWPopupTool into MWHelpListToolGroup 2023-07-01 11:10:53 +01:00
ve.ui.MWTargetWidget-vector.less ve.ui.MWTargetWidget: Remove top margin in Vector 2022 2022-08-11 14:27:53 +01:00