Manual merge to remove unnecessary json_indent from json_generator.php since the functionality it provided is already part of PHP which closes #55.