wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-01 01:16:30 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules
History
jenkins-bot 5b2ba08c44 Merge "Use WMUI styled WikiEditor switcher when in Vector"
2020-02-08 02:37:12 +00:00
..
ve-mw Merge "Use WMUI styled WikiEditor switcher when in Vector" 2020-02-08 02:37:12 +00:00
ve-mw-collab doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00