From 6744545c6192a76305ea95174b5d8a08964425ff Mon Sep 17 00:00:00 2001
From: WMDE-Fisch <christoph.jauera@wikimedia.de>
Date: Sat, 20 May 2023 15:36:29 +0300
Subject: [PATCH] Skip user setting for unnamed users

Bug: T329771
Change-Id: I0066c2411bf12fedb1e29cde8306b107c3ab95ba
---
 resources/ext.CodeMirror.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/ext.CodeMirror.js b/resources/ext.CodeMirror.js
index 14169ee0..f2c4fb1c 100644
--- a/resources/ext.CodeMirror.js
+++ b/resources/ext.CodeMirror.js
@@ -74,7 +74,7 @@
 	function setCodeEditorPreference( prefValue ) {
 		useCodeMirror = prefValue; // Save state for function updateToolbarButton()
 
-		if ( mw.user.isAnon() ) { // Skip it for anon users
+		if ( !mw.user.isNamed() ) { // Skip it for unnamed users
 			return;
 		}
 		api.saveOption( 'usecodemirror', prefValue ? 1 : 0 );