How to get the latest PHP 7.3 patches in 18.04?

I have installed PHP 7.3 via the ppa:ondrej/php repository and everything was running smoothly, until I ran across this major 7.3.0 bug with __callStatic which lead to a lot of broken code in my installation.

There are merged pull requests in the PHP repo fixing this issue, however, I'm uncertain on how to get those fixes for myself now.

I have tried:

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

But it says that I'm on the latest version:

php7.3 is already the newest version (7.3.0-2+ubuntu18.04.1+deb.sury.org+1).

Help on how to get these fixes on my computer would be highly appreciated.

3 Reset to default

Know someone who can answer? Share a link to this question via email, Twitter, or Facebook.

Your Answer

Sign up or log in

Sign up using Google Sign up using Facebook Sign up using Email and Password

Post as a guest

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

You Might Also Like