wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-23 19:43:19 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw
History
jenkins-bot 46678e1d57 Merge "Allow alien extension node encapsulation wrappers to be of various types"
2020-11-05 00:55:37 +00:00
..
ce build: Update eslint-config-wikimedia to 0.17.0 2020-08-18 13:16:49 +01:00
dm Merge "Allow alien extension node encapsulation wrappers to be of various types" 2020-11-05 00:55:37 +00:00
init Change selector vectorTabs => vector-menu-tabs 2020-10-26 18:17:42 +00:00
preinit [vector modern] VisualEditor margins are tied to Vector variables. 2020-10-14 14:52:32 +01:00
tests Update VE core submodule to master (95f9f5681) 2020-09-22 18:56:17 +02:00
themes
ui Tweak alignment of save checkboxes 2020-10-27 21:43:53 +00:00