wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2025-01-06 02:04:59 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/init/targets
History
Bartosz Dziewoński 60b9a71f9b Fix post-edit notification after switching from old wikitext editor 
Follow-up to 37b81b5ba4.

Change-Id: I2e61b265822d75cd409d57a4aec7abfbbd4d3fc4
2023-01-03 22:17:56 +01:00
..
ve.init.mw.ArticleTarget.js Fix post-edit notification after switching from old wikitext editor 2023-01-03 22:17:56 +01: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