wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-22 19:12:50 +00:00
Code Issues Packages Projects Releases Wiki Activity
21402 commits 15 branches 17 tags 192 MiB
Commit graph

4 commits

Author SHA1 Message Date
Jan Drewniak 2fc809dc17 Replace hardcoded colors with Codex design tokens 
Replaces hardcoded color hex values with their equivalent
values from Codex, via the "mediawiki.skin.variables" system.

Bug: T366197
Change-Id: Ia929a1a8d6351222acb454c8ec750e920ae6d072
 2024-06-07 14:40:07 -04:00
Ed Sanders d42a0772bb Move verbose copyright message to AUTHORS.txt 
Avoids having to update the date in every file every year,
which we stopped doing.

Change-Id: I7bf7aa0937eef911e00772470091753a7b06fd3d
 2023-12-01 16:07:39 +00:00
Ed Sanders 0f33f7193f Drop visualeditor-beta-warning from help menu 
Bug: T341350
Change-Id: I69b886e7681281057c92ddb4175de2998512f0ed
 2023-07-07 15:54:15 +01:00
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