wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-15 03:23:45 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Do not try to save options for anonymous user"

Browse source
This commit is contained in:
jenkins-bot 2015-11-29 10:38:09 +00:00 committed by Gerrit Code Review
parent 22f1a0c3d2 2278f87b89
commit 52ef9085a9
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
modules/jquery.codeEditor.js
View file

@ -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',