CentOS6のPHP7.0/7.1をPHP7.2にアップデート

PHP7.2はPHP7.1より更に速いらしいのでアップデートしてみることにしました。