There are many reasons why anyone will need to switch to PHP 7.2 his machine – here, here, here and many more PoC …
Use script like attached bellow:
#!/usr/local/bin/bash
for FILE in `pkg info | grep php56 | cut -f1 -d’ ‘` ; do
PKGNAME=`pkg info „$FILE“ | grep ‘Origin’ | cut -f2 -d’:’` ;
NEWPKGNAME=“${PKGNAME//php56/php72}“ ;
echo „Replacing port $FILE with $NEWPKGNAME“ ;
portmaster -o „$NEWPKGNAME $FILE“ ;
done
portmaster pecl\*
portmaster pear\*
Next you should check that everything from dynamic libraries is correctly linked with command „php -v“.
Hints for some “missing“ packages:
portmaster -o devel/php72-intl pecl-intl-3.0.0_12
portmaster -o security/pecl-mcrypt php56-mcrypt-5.6.34