PHPの短縮入力のスペース等の変更