From a334bfbb250c48f32827562d54d8cba8ed873d05 Mon Sep 17 00:00:00 2001 From: Timo Tijhof Date: Tue, 14 Oct 2014 23:39:31 +0200 Subject: [PATCH] jquery.badge: Swap non-breaking space character for regular space Follows-up d453f81f4e. PHP's native json_encode requires input being a UTF-8 string. For some reason MediaWiki, Git or OS X is not reading jquery.badge.css as UTF-8 for me. https://bugs.php.net/bug.php?id=51947 Due to json_encode rejecting the entire value and returning null instead, the jquery.badge stylesheet was absent. load.php: mw.loader.implement("jquery.badge",function, {"css":[null]} ); Change-Id: I84d2017a976249f55bdb269d2b9762db941292fe --- resources/src/jquery/jquery.badge.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/resources/src/jquery/jquery.badge.css b/resources/src/jquery/jquery.badge.css index fa7ea70279..34cdf76cf1 100644 --- a/resources/src/jquery/jquery.badge.css +++ b/resources/src/jquery/jquery.badge.css @@ -13,7 +13,7 @@ font-weight: bold; color: white; vertical-align: baseline; - text-shadow: 0 1px rgba(0, 0, 0, 0.4); + text-shadow: 0 1px rgba(0, 0, 0, 0.4); } .mw-badge-inline { -- 2.20.1