wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-25 03:08:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "(bug 43040) All edits were being marked as minor"

Browse source
This commit is contained in:
jenkins-bot 2012-12-13 04:46:25 +00:00 committed by Gerrit Code Review
parent df359ce829 892990ef17
commit cf5f2ae0f5
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
modules/ve/init/mw/ve.init.mw.Target.js
View file

@ -382,8 +382,8 @@ ve.init.mw.Target.prototype.save = function ( dom, options ) {
'html': $( dom ).html(),
'token': this.editToken,
'summary': options.summary,
'minor': options.minor,
'watch': options.watch
'minor': Number( options.minor ),
'watch': Number( options.watch )
},
'dataType': 'json',
'type': 'POST',
@ -454,8 +454,8 @@ ve.init.mw.Target.prototype.submit = function ( wikitext, options ) {
'wpEdittime': this.startTimeStamp,
'wpTextbox1': wikitext,
'wpSummary': options.summary,
'wpWatchthis': options.watch,
'wpMinoredit': options.minor,
'wpWatchthis': Number( options.watch ),
'wpMinoredit': Number( options.minor ),
'wpEditToken': this.editToken,
'wpSave': 1
};