PHP 7.3.16 バージョンアップ

PHP 7.3.16 バージョンアップ

PHP7.3をバージョンアップ。脆弱性云々の対応はなくて、バグの修正がいっぱい。

https://www.php.net/ChangeLog-7.php#7.3.17