php: fixes JSON encoding issue, patch from Greg Dove. Close issue #1463

git-svn-id: http://haxe.googlecode.com/svn/trunk@6156 f16182fa-f095-11de-8f43-4547254af6c6