lang/php72: Update from 7.2.22 to 7.2.23
Changelog:
Core:
Fixed bug #78220 (Can't access OneDrive folder).
Fixed bug #78412 (Generator incorrectly reports non-releasable $this as GC child).
FastCGI:
Fixed bug #78469 (FastCGI on_accept hook is not called when using named pipes on Windows).
MySQLnd:
Fixed connect_attr issues and added the _server_host connection attribute.
ODBC:
Fixed bug #78473 (odbc_close() closes arbitrary resources).
PDO_MySQL:
Fixed bug #41997 (SP call yields additional empty result set).
sodium:
Fixed bug #78510 (Partially uninitialized buffer returned by sodium_crypto_generichash_init()).
SPL:
Fixed bug #72884 (SplObject isCloneable() returns true but errs on clone).Changelog taken from: https://www.php.net/ChangeLog-7.php#7.2.23