%undefine with_filter
%endif
-%define rel 16
+%define rel 17
%define orgname php
%define ver_suffix 54
%define php_suffix %{!?with_default_php:%{ver_suffix}}
Obsoletes: php56-devel
Obsoletes: php70-devel
Obsoletes: php71-devel
+Obsoletes: php72-devel
%description devel
The php-devel package lets you compile dynamic extensions to PHP.