Php 7.2 -> 7.3

[Mel Pilgrim]

On 2020-12-07 12:23, John Levine wrote:
> In article <CAAdA2WOhEQUcUc4JtE=E277MfqBEw-tP=6RW0Zv+g9vO9VVppg at mail.gmail.com> you write:
>>On Sun, 6 Dec 2020 at 22:12, Jos Chrispijn <bsduser at cloudzeeland.nl> wrote:
>>> Can someone tell me how I can best upgrade my
>>>
>>> PHP 7.2.34 (cli) (built: Oct 10 2020 01:19:29) ( NTS ) to PHP 7.3 or 7.4?
>>>
>>>
>>pkg_deinstall php72-\*
>>cd /usr/ports/lang/php74 && make config && make install clean
>>cd /usr/ports/lang/php74-extensions && make config && make install clean
>>Nothing much will break if you've been on 7.2
> 
> That's pretty close, but I would start by checking what php packages you
> actually have installed:
> 
> $ 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.