如何在 18.04 中获取最新的 PHP 7.3 补丁?

如何在 18.04 中获取最新的 PHP 7.3 补丁?

我已经通过存储库安装了 PHP 7.3 ppa:ondrej/php,并且一切都运行顺利,直到我遇到这个主要的 7.3.0 错误,__callStatic导致我的安装中出现很多损坏的代码。

PHP repo 中合并的拉取请求修复了这个问题,但是,我现在不确定如何为自己获取这些修复。

https://github.com/php/php-src/commit/773ed62555bc7a1d45e1ba1e11dfd99eeccbec8f

https://bugs.php.net/bug.php?id=77339

http://news.php.net/php.cvs/104021

我努力了:

sudo apt-get update
sudo apt-get install --only-upgrade php7.3

但它说我使用的是最新版本:

php7.3已经是最新版本(7.3.0-2+ubuntu18.04.1+deb.sury.org+1)。

如果能帮助我修复这些错误,我将不胜感激。

相关内容