wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-05 03:08:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules
History
jenkins-bot 81fda630e7 Merge "SaveDialog: Hide options bar when empty"
2019-07-19 18:44:46 +00:00
..
ve-mw Merge "SaveDialog: Hide options bar when empty" 2019-07-19 18:44:46 +00:00
ve-mw-collab Remove citefromid alias support 2019-06-20 16:06:07 +01:00