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

Do not try to save options for anonymous user

Browse source 
This change requires 65062d3c from core included in MediaWiki 1.20+.

Change-Id: I130ab8e93107e066d2cb757c511c844e161b703f
This commit is contained in:
Fomafix 2015-11-28 23:10:40 +00:00 committed by [[mw:User:Fomafix]]
parent d0ef64af5d
commit 2278f87b89
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',