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 6b7fc00f68 Merge "DesktopArticleTarget: Change tab text on server side when possible"
2015-12-16 19:51:03 +00:00
..
ve-mw Merge "DesktopArticleTarget: Change tab text on server side when possible" 2015-12-16 19:51:03 +00:00
ve-wmf/i18n Localisation updates from https://translatewiki.net. 2015-12-15 22:25:56 +01:00