Well PHP's json_encode is broken for different versions...

What can you expect...