Add Json.php and test cases for it.