wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-29 16:44:51 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/init/targets
History
Ed Sanders 7de023caee Allow switching between 'edit source' and 'add topic' 
Also between section editing and full page editing
by clicking on 'edit source'.

Change-Id: I9165a7ad4ac2a588a09532c7181ba72b6fd2f811
2016-12-29 15:48:38 +00:00
..
ve.init.mw.DesktopArticleTarget.init.js Allow switching between 'edit source' and 'add topic' 2016-12-29 15:48:38 +00:00
ve.init.mw.DesktopArticleTarget.js Allow switching between 'edit source' and 'add topic' 2016-12-29 15:48:38 +00:00
ve.init.mw.MobileArticleTarget.js Rename EditButtonPublishNotSave to EditSubmitButtonLabelPublish 2016-08-29 10:46:49 -07:00