php-develは、phpの開発キットのパッケージです。

新しくサーバー建てて、phpをインストールしたらセットでインストールします。

dnf install -y php-devel

これを入れないと色々不便

というかサーバー内で開発出来ません！！

よくあるエラーが

phpize

を使おうとしたら、php-devel入れたなくて使えないよ！！

というエラーがよくあります。

とりあえず、phpインストールしたら、php-develも一緒に入れる！！