从 PHP 文件获取 JSON 数据，并把它转换为 JavaScript 数组