package/php: bump version to 7.3.12
Release notes of this bugfix release:
https://www.php.net/ChangeLog-7.php#7.3.12
Signed-off-by: Bernd Kuhls <bernd.kuhls@t-online.de>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
(cherry picked from commit a7ba9c54b4f5cbb36386b366bfb5e5fd4ad2fe7a)
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>