ページ名の変更

PHPスクリプト/file_get_contents()の名前を変更します。