wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-24 22:35:41 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules
History
jenkins-bot 663b9f9a35 Merge "Remove special font-size treatment following-up UI unified in 14px base"
2018-03-21 21:07:16 +00:00
..
ve-mw Merge "Remove special font-size treatment following-up UI unified in 14px base" 2018-03-21 21:07:16 +00:00
ve-mw-collab Rebaser: Generate random doc name if none provided 2018-02-16 18:09:19 +00:00