Re: [opensuse-packaging] php-devel vs. php5-devel vs. php53-devel