I've tried to upgrade PHP on my server with the upgrade button. Forge says that the server should be at PHP 7.2, but
php -v when I
ssh into the server all return PHP 7.1.
I've restarted the server. Downgraded the server back to 7.1 with forge, and tried upgrading to 7.2 or 7.3, but to no avail.
Does anybody have any ideas how to upgrade the server?