#
# Interface versions exposed by PHP:
# 
%php72_php_core_api 20170718-64
%php72_php_zend_api 20170718-64
%php72_php_pdo_api  20170320-64
%php72_php_version  7.2.34

%php72_php_extdir   /opt/remi/php72/root/usr/lib64/php/modules

%php72_php_inidir   /etc/opt/remi/php72/php.d

%php72_php_incldir  /opt/remi/php72/root/usr/include/php

%php72___php        /opt/remi/php72/root/usr/bin/php

%php72___phpize     /opt/remi/php72/root/usr/bin/phpize

%php72___phpconfig  /opt/remi/php72/root/usr/bin/php-config