サーバ上の情報を更新するためのphpをtoolsに入れた