wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-30 00:55:00 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules
History
jenkins-bot 03173b7b2d Merge "ve.ui.MWEducationPopupTool: Don't show if not inside a BarToolGroup"
2017-07-20 17:07:20 +00:00
..
ve-mw Merge "ve.ui.MWEducationPopupTool: Don't show if not inside a BarToolGroup" 2017-07-20 17:07:20 +00:00
ve-mw-collab Remove old authorListWidget CSS 2017-06-17 19:42:22 -07:00
ve-wmf/i18n Localisation updates from https://translatewiki.net. 2017-07-18 23:10:28 +02:00