mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 18:39:52 +00:00
0760d2b4a9
Which for now is just "not when creating a new page". This is already strictly enforced in the MediaWiki backend through EditPage.php, but not reflected in the Save dialog of VE yet. Now the checkbox for Minor edit matches the logic for EditPage. Change-Id: I9c659845feebb3e9bbf8e13ee67be27c6adb4321 |
||
---|---|---|
.. | ||
styles | ||
targets | ||
ve.init.mw.js | ||
ve.init.mw.Platform.js | ||
ve.init.mw.Target.js |