MFH: r538724
lang/php73: Update from 7.3.18 to 7.3.19
Changelog:
Core: Fixed bug #79566 (Private SHM is not private on Windows). Fixed bug #79489 (.user.ini does not inherit). GD: Fixed bug #79615 (Wrong GIF header written in GD GIFEncode). MySQLnd: Fixed bug #79596 (MySQL FLOAT truncates to int some locales). Opcache: Fixed bug #79535 (PHP crashes with specific opcache.optimization_level). Fixed bug #79588 (Boolean opcache settings ignore on/off values). Standard: Fixed bug #79561 (dns_get_record() fails with DNS_ALL).
Sponsored by: Bounce Experts
Approved by: ports-secteam (joneum, implicit for PHP Updates)