Fix personal user styles being broken since introduction in r73024

diff --git a/includes/ResourceLoaderModule.php b/includes/ResourceLoaderModule.php
index 13de97b..7ca72a1 100644 (file)
--- 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