wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2025-01-08 11:14:25 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/init/targets
History
jenkins-bot 8d94e10944 Merge "Replace mediawiki.Uri with native URL (ArticleTarget)"
2023-01-10 17:45:40 +00:00
..
ve.init.mw.ArticleTarget.js Merge "Replace mediawiki.Uri with native URL (ArticleTarget)" 2023-01-10 17:45:40 +00:00
ve.init.mw.DesktopArticleTarget.js Replace mediawiki.Uri with native URL (ArticleTarget) 2023-01-09 20:34:27 +00:00
ve.init.mw.MobileArticleTarget.js Replace mediawiki.Uri with native URL (ArticleTarget) 2023-01-09 20:34:27 +00:00
ve.init.mw.Target.js Merge "ve.init.mw.Target: Use mw.libs.ve.targetSaver.getHtml in getWikitextFragment" 2022-07-27 00:07:35 +00:00