cd pear config-get php_dir
mv .channels .channels-broken
pear update-channels

 

apt-get install php7.2-dev