Hallo,
unsere PHP-Pakete für Debian/Ubuntu wurden eben auf die Versionen 7.2.28, 7.3.15 und 7.4.3 aktualisiert.
Viele Grüße
-Klaus Keppler
(PS: die Wiki-Seite mit den zusätzlichen PHP-Versionen wird in ca. 3 Wochen komplett ersetzt, die Links werden daher nicht mehr manuell gepflegt)