-devel Obsoletes php-devel