wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-18 03:41:45 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/init/targets
History
Ed Sanders 5b4158860a 'scrollCursorIntoView' -> 'scrollSelectionIntoView' 
Change-Id: I202b1bdb3196b318c26422577b66de66d37080c8
Depends-On: Iac446ce9fce170b43c96001ca89e8af4825522ca
2019-05-24 10:11:38 +00:00
..
ve.init.mw.DesktopArticleTarget.init.js DesktopArticleTarget.init: Fix wrong message used for 'Edit' tab in rare cases 2019-05-14 00:19:08 +02: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