| Index: trunk/phase3/includes/ResourceLoaderModule.php |
| — | — | @@ -933,9 +933,9 @@ |
| 934 | 934 | if ( $wgAllowUserCssPrefs ) { |
| 935 | 935 | // Verify identity -- this is a private module |
| 936 | 936 | if ( $context->getUser() === $wgUser->getName() ) { |
| 937 | | - $options = FormatJson::encode( $wgUser->getOptions() ); |
| | 937 | + $options = $wgUser->getOptions(); |
| 938 | 938 | } else { |
| 939 | | - $options = FormatJson::encode( User::getDefaultOptions() ); |
| | 939 | + $options = User::getDefaultOptions(); |
| 940 | 940 | } |
| 941 | 941 | |
| 942 | 942 | // Build CSS rules |