Is there something special I'm not doing? The routine
mysqli_connect isn't being found. But pkg list says databases/php72-mysqli is installed, and I have the extension reference uncommented in php.ini, which phpinfo tells me is being read up. Other than doing a make install from ports, I'm not sure what's left.