wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 02:23:58 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules
History
jenkins-bot 1f76a0e8f7 Merge "Make "add undocumented parameter" hotkey ctrl+shift+d work much better"
2023-06-21 19:52:11 +00:00
..
editcheck EditCheck: Filter ranges to CBN interiors 2023-06-08 16:27:01 +01:00
ve-mw Merge "Make "add undocumented parameter" hotkey ctrl+shift+d work much better" 2023-06-21 19:52:11 +00:00
ve-mw-collab Revert "Targets: Use align:'after' instead of actionGroups" 2023-06-15 20:06:21 +00:00
.eslintrc.json Update eslint-config-wikimedia to 0.24.0 2023-01-18 14:39:04 +00:00
eslint-shared.json Update eslint-config-wikimedia to 0.24.0 2023-01-18 14:39:04 +00:00