Rename JSON.php to Json.php