remiを入れているのに No package php72 available. など出たらexclude=php*を疑う

結論

/etc/yum.conf
に
exclude=php*
が書かれていた

yum - No package php available on centos 6 vps - Unix & Linux Stack Exchange

デフォルトのPHPが更新禁止なので、ひとまず
exclude=php php-*
に書き換えてphp7*を許可するようにしてみた。

【yum update】yumのパッケージを安全にアップデートする | UX MILK

動作環境

• CentOS 7.3.1611
• PHP 5.4.16　(更新厳禁)

サーバーは自分が組んだものでないためexcludeに気づけなかった。

PHPを入れるために参考

• CentOS 7 に PHP 7.2 を yum でインストールする手順 | WEB ARCH LABO
• Yum で複数バージョンの PHP を共存させる - Qiita

その他

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

7.2ではlibargon2のエラーが出たので手順簡略化のために結局7.1を入れた。
PHPStan動かしたいだけなので問題はなし。