jquery.badge: Swap non-breaking space character for regular space
authorTimo Tijhof <krinklemail@gmail.com>
Tue, 14 Oct 2014 21:39:31 +0000 (23:39 +0200)
committerTimo Tijhof <krinklemail@gmail.com>
Tue, 14 Oct 2014 22:33:51 +0000 (00:33 +0200)
commita334bfbb250c48f32827562d54d8cba8ed873d05
tree2f40775c58b9e1c6e0f522624777736c0cd80a10
parent15e557215c628a9dadefef57e75dee4dead21807
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