wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-26 07:15:32 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw
History
jenkins-bot d85062d1d1 Merge "Fix switching without changes"
2019-04-30 19:37:03 +00:00
..
ce Improve rendering of audio files 2019-04-28 23:56:08 +01:00
dm API: Use formatversion=2 by default 2019-04-30 19:31:28 +01:00
init Merge "Fix switching without changes" 2019-04-30 19:37:03 +00:00
tests
themes
ui Merge "Fix switching without changes" 2019-04-30 19:37:03 +00:00
ve.MWutils.js