Fyi updated versions are now available for the Gentoo Linux distribution: https://packages.gentoo.org/packages/dev-lang/php

(I just ran an "emerge --sync" but the mirror that was used does not have yet the updates)