PHP 7.2.18 and 7.3.5

Druckbare Version