Upgrade to latest PHP version

We will do that as soon as we’ve fixed the bugs with our PHP 8.1 setup.

We’re doing our best to update PHP as soon as possible, but we want to make sure that it works well. Please have patience until we’ve worked that out, and consider using older versions of the plugins that do still work with PHP 7.4 until then.