Alex Monk has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/269462

Change subject: Don't try to tell the server to set preferences to their 
current values
......................................................................

Don't try to tell the server to set preferences to their current values

It's rather pointless.

Change-Id: I8065af1d61108ce843c0afd2eaa0f1f9b85b6998
---
M modules/ve-mw/init/targets/ve.init.mw.DesktopArticleTarget.init.js
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/VisualEditor 
refs/changes/62/269462/1

diff --git a/modules/ve-mw/init/targets/ve.init.mw.DesktopArticleTarget.init.js 
b/modules/ve-mw/init/targets/ve.init.mw.DesktopArticleTarget.init.js
index 01cc770..2341b3b 100644
--- a/modules/ve-mw/init/targets/ve.init.mw.DesktopArticleTarget.init.js
+++ b/modules/ve-mw/init/targets/ve.init.mw.DesktopArticleTarget.init.js
@@ -250,7 +250,7 @@
                $.cookie( 'VEE', editor, { path: '/', expires: 30 } );
                if ( mw.user.isAnon() ) {
                        return $.Deferred().resolve();
-               } else {
+               } else if ( mw.user.options.get( 'visualeditor-editor' ) !== 
editor ) {
                        return new mw.Api().saveOption( 'visualeditor-editor', 
editor ).then( function () {
                                mw.user.options.set( 'visualeditor-editor', 
editor );
                        } );

-- 
To view, visit https://gerrit.wikimedia.org/r/269462
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I8065af1d61108ce843c0afd2eaa0f1f9b85b6998
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/VisualEditor
Gerrit-Branch: master
Gerrit-Owner: Alex Monk <[email protected]>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to