PHP 5.1.2

PHPを5.1.2に更新した。うまく動いているかな(日曜なのに大学で仕事してる)