wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-26 21:13:01 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/toolgroups
History
Ed Sanders 0f33f7193f Drop visualeditor-beta-warning from help menu 
Bug: T341350
Change-Id: I69b886e7681281057c92ddb4175de2998512f0ed
2023-07-07 15:54:15 +01:00
..
ve.ui.MWHelpListToolGroup.js Drop visualeditor-beta-warning from help menu 2023-07-07 15:54:15 +01:00