wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-01 17:36:35 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/init/targets
History
jenkins-bot 795e7b13fb Merge "Special-case redlink URLs to load preferred editor"
2019-05-28 23:21:28 +00:00
..
ve.init.mw.DesktopArticleTarget.init.js Special-case redlink URLs to load preferred editor 2019-05-26 17:55:38 +01:00
ve.init.mw.DesktopArticleTarget.js Switch to wikitext: Don't set oldid if unmodified current ID 2019-05-22 14:32:54 +01:00
ve.init.mw.MobileArticleTarget.js 'scrollCursorIntoView' -> 'scrollSelectionIntoView' 2019-05-24 10:11:38 +00:00