Sorry, not sure about that.Where is the ini file located, I can edit for?
Try/usr/local/etc/php72/cli
Tried to edit, but nope(
/volume#/@appstore/PHP7.x/....
via sshNot running 7.2 myself so didn't have this problem. Maybe someone else will chip in.php 7.0 is ok with ini editing, but 7.2 is not