wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-03 18:36:20 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/toolgroups
History
Ed Sanders e3659d4846 Prefer arrow callbacks 
Change-Id: Ia05b27f7c71c33580ffd0718e3bbc673dd8b3d63
2024-05-01 14:11:54 +01:00
..
ve.ui.MWHelpListToolGroup.js Prefer arrow callbacks 2024-05-01 14:11:54 +01:00