jenkins-bot has submitted this change and it was merged.
Change subject: Do not try to save options for anonymous user
......................................................................
Do not try to save options for anonymous user
This change requires 65062d3c from core included in MediaWiki 1.20+.
Change-Id: I130ab8e93107e066d2cb757c511c844e161b703f
---
M modules/jquery.codeEditor.js
1 file changed, 4 insertions(+), 0 deletions(-)
Approvals:
TheDJ: Looks good to me, approved
jenkins-bot: Verified
diff --git a/modules/jquery.codeEditor.js b/modules/jquery.codeEditor.js
index b640978..b51d16e 100644
--- a/modules/jquery.codeEditor.js
+++ b/modules/jquery.codeEditor.js
@@ -294,6 +294,10 @@
},
setCodeEditorPreference: function ( prefValue ) {
var api = new mw.Api();
+ // Do not try to save options for anonymous user
+ if ( mw.user.isAnon() ) {
+ return;
+ }
api.postWithToken( 'options', {
action: 'options',
optionname: 'usecodeeditor',
--
To view, visit https://gerrit.wikimedia.org/r/255913
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I130ab8e93107e066d2cb757c511c844e161b703f
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CodeEditor
Gerrit-Branch: master
Gerrit-Owner: Gerrit Patch Uploader <gerritpatchuploa...@gmail.com>
Gerrit-Reviewer: Gerrit Patch Uploader <gerritpatchuploa...@gmail.com>
Gerrit-Reviewer: TheDJ <hartman.w...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
