Php 7.2 -> 7.3

[John Levine]

In article <0c2db144-849c-82e4-9e2b-4080d59abad5 at bluerosetech.com> you write:
>> $ pkg info -g \*php\*
>> 
>> Many web applications such as phpMyAdmin and roundcube have PHP
>> version-specific packages.
>> 
>> Then
>> 
>> $ pkg delete -g php\*
>> ; maybe delete roundcube-php72 mod_php72 etc.
>> 
>> $ pkg install php74 php74-extensions
>> ; maybe install roundcube-php74 mod_php74 etc.
>> 
>> If you're using mod_php restart your web server.
>> 
>> I agree that the differences between 7.2 and 7.4 are small.
>
>This is overkill. See UPDATING enty 20200914. Pkg is really good at 
>handling these kinds of upgrades.

Yes and no.  If you keep up with pkg it'll do a lot of this, but even
that note says you have to do mod_php72 to mod_php74 manually.

R's,
John