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

3 commits

Author SHA1 Message Date
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