wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 10:35:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/init/targets
History
Ed Sanders 617e4d8d61 Replace call to setToolbarHeight with setPadding 
Bug: T224126
Depends-On: Id5f7ead769dc30c0fbd2a8b8f6f6c4d68dcfabac
Change-Id: I140cdb320dbb0368bc36a0a0210523937b9f7dea
2019-05-23 18:11:03 +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 Replace call to setToolbarHeight with setPadding 2019-05-23 18:11:03 +00:00