This is the correct answer.

For those unaware, these packages are built using the same packaging repo as the Debian “offical” packages, by a member of the “official” Debian php team.

I can’t speak highly enough of Ondřej’s work on this.