diff options
author | Remi Collet <remi@remirepo.net> | 2020-02-04 09:37:24 +0100 |
---|---|---|
committer | Remi Collet <remi@remirepo.net> | 2020-02-04 09:37:24 +0100 |
commit | 09e48a05b98b94fd52dc2562089f67e8d1279298 (patch) | |
tree | a1ef9b67ca87f0f3d563a41961d82cb248092309 /PHPINFO | |
parent | 483932783561752f0add0693b8b221a2fd09246e (diff) |
raise dependency on PHP 7.2
fix undefined symbol using patch from
https://github.com/php-decimal/ext-decimal/pull/34
disable ZTS build which segfaults, reported as
https://github.com/php-decimal/ext-decimal/issues/35
Diffstat (limited to 'PHPINFO')
-rw-r--r-- | PHPINFO | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2,5 +2,5 @@ decimal decimal support => enabled -decimal version => 1.3.1 +decimal version => 2.0.0 libmpdec version => 2.4.2 |