wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-12-18 01:30:45 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Use core behaviour regarding saving options for non-registered users"

Browse source
This commit is contained in:
jenkins-bot 2023-03-27 14:25:51 +00:00 committed by Gerrit Code Review
parent 459aa6d418 62c3d99a7f
commit fe024e6813
1 changed files with 4 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
modules/jquery.codeEditor.js
View file

@ -299,11 +299,6 @@
context.fn.updateButtonIcon( 'lineWrapping', context.fn.isLineWrappingActive );
},
setCodeEditorPreference: function ( prefValue ) {
// Do not try to save options for anonymous user
if ( mw.user.isAnon() ) {
return;
}
// Abort any previous request
api.abort();
@ -313,6 +308,10 @@
// Request was aborted. Ignore error
return;
}
if ( code === 'notloggedin' ) {
// Expected for non-registered users
return;
}
var message = 'Failed to set code editor preference: ' + code;
if ( result.error && result.error.info ) {