PHP: added replacer for haxe.Json (issue #902)