wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-04 02:39:02 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/elements
History
Ed Sanders fd122da6fd JSDoc: @mixins -> @mixes 
Change-Id: Ic06b8e058b387f8d683db6273f689694cf416ce6
2024-04-29 18:51:41 +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 Move verbose copyright message to AUTHORS.txt 2023-12-01 16:07:39 +00:00