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/ve-mw/init/targets
History
jenkins-bot 0c5f131976 Merge "Use new stable API for subtitle modification"
2022-12-14 04:12:38 +00:00
..
ve.init.mw.ArticleTarget.js Use new stable API for subtitle modification 2022-12-13 01:13:46 +00:00
ve.init.mw.DesktopArticleTarget.js Remove obsolete browser support checks for HTML5 History API 2022-12-12 20:47:32 +01:00
ve.init.mw.MobileArticleTarget.js De-duplicate replacePageContent methods between desktop and mobile 2022-09-29 01:20:55 +02: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