wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-11 14:06:19 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/elements
History
Ed Sanders e3659d4846 Prefer arrow callbacks 
Change-Id: Ia05b27f7c71c33580ffd0718e3bbc673dd8b3d63
2024-05-01 14:11:54 +01:00
..
ve.ui.MWExpandableContentElement.js JSDoc: @mixins -> @mixes 2024-04-29 18:51:41 +01:00
ve.ui.MWExpandableErrorElement.js JSDoc: @mixins -> @mixes 2024-04-29 18:51:41 +01:00
ve.ui.MWFloatingHelpElement.js Move verbose copyright message to AUTHORS.txt 2023-12-01 16:07:39 +00:00
ve.ui.MWPreviewElement.js Prefer arrow callbacks 2024-05-01 14:11:54 +01:00