wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-29 08:34:54 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/init/targets
History
Alex Monk de2d5bd31b Don't confirm if there's no changes when switching to edit source mode through the page options menu 
Also use a simpler way to discard changes

Bug: 68229
Change-Id: I1efc40f14fca0f743df699a4f3aadd4ba3a249e2
2014-07-23 00:23:53 +00:00
..
ve.init.mw.MobileViewTarget.js test: Move mw into the global list of globals for VE-MW 2014-07-19 17:42:45 +00:00
ve.init.mw.ViewPageTarget.init.js test: Move mw into the global list of globals for VE-MW 2014-07-19 17:42:45 +00:00
ve.init.mw.ViewPageTarget.js Don't confirm if there's no changes when switching to edit source mode through the page options menu 2014-07-23 00:23:53 +00:00