diff --git a/debian/resources/ioncube.sh b/debian/resources/ioncube.sh index 0c74a14..3af98dc 100755 --- a/debian/resources/ioncube.sh +++ b/debian/resources/ioncube.sh @@ -84,6 +84,17 @@ if [ ."$php_version" = ."7.1" ]; then #restart the service service php7.1-fpm restart fi +if [ ."$php_version" = ."7.2" ]; then + #copy the php extension .so into the php lib directory + cp ioncube/ioncube_loader_lin_7.2.so /usr/lib/php/20170718 + + #add the 00-ioncube.ini file + echo "zend_extension = /usr/lib/php/20170718/ioncube_loader_lin_7.2.so" > /etc/php/7.2/fpm/conf.d/00-ioncube.ini + echo "zend_extension = /usr/lib/php/20170718/ioncube_loader_lin_7.2.so" > /etc/php/7.2/cli/conf.d/00-ioncube.ini + + #restart the service + service php7.2-fpm restart +fi if [ ."$php_version" = ."7.3" ]; then #copy the php extension .so into the php lib directory cp ioncube/ioncube_loader_lin_7.3.so /usr/lib/php/20180731