Hi, I just added a file trigger on the php-fpm package, so the service is restarted when a new extension or a new pool is installed Bug tracker: https://bugzilla.redhat.com/1556762 For now in rawhide, will be in F28 with 7.2.4 (in 2 weeks) Remi _______________________________________________ php-devel mailing list -- php-devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to php-devel-leave@xxxxxxxxxxxxxxxxxxxxxxx
