PHPのマニュアルのURLを修正