結果 : php file_get_contents character encoding