Php 7.2 -> 7.3

[John Levine]

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.