wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-25 23:05:35 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui
History
…
..
actions
commands
contextitems
dialogs
inspectors
pages
styles
themes
tools
widgets
ve.ui.MWCommandRegistry.js
ve.ui.MWMobileContext.js
ve.ui.MWMobileSurface.js
ve.ui.MWSequenceRegistry.js