From e5ee3055cdd1bebdc35c80429b8efaa3068ffc57 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Niklas=20Laxstr=C3=B6m?= <nikerabbit@users.mediawiki.org>
Date: Sat, 2 Oct 2010 16:11:44 +0000
Subject: [PATCH] Fix personal user styles being broken since introduction in
 r73024

---
 includes/ResourceLoaderModule.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/includes/ResourceLoaderModule.php b/includes/ResourceLoaderModule.php
index 13de97bc8c..7ca72a11ec 100644
--- a/includes/ResourceLoaderModule.php
+++ b/includes/ResourceLoaderModule.php
@@ -933,9 +933,9 @@ class ResourceLoaderUserOptionsModule extends ResourceLoaderModule {
 		if ( $wgAllowUserCssPrefs ) {
 			// Verify identity -- this is a private module
 			if ( $context->getUser() === $wgUser->getName() ) {
-				$options = FormatJson::encode( $wgUser->getOptions() );
+				$options = $wgUser->getOptions();
 			} else {
-				$options = FormatJson::encode( User::getDefaultOptions() );
+				$options = User::getDefaultOptions();
 			}
 
 			// Build CSS rules
-- 
2.20.1