wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 02:23:58 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules
History
jenkins-bot 4d78073001 Merge "Replace 'settings' by renamed 'pageSettings' icon"
2018-08-17 00:28:05 +00:00
..
ve-mw Merge "Replace 'settings' by renamed 'pageSettings' icon" 2018-08-17 00:28:05 +00:00
ve-mw-collab Store importTitle in document, and display in sub heading 2018-08-12 16:13:00 +01:00