Wed, 28 Sep 2022 03:14:41 UTC

Information for file /etc/php.d/20-gmp.ini

Name/etc/php.d/20-gmp.ini
Digest (sha256)1de80e283bbfe30e7e8bce86000b1696404e9b68f8bbb5703fac9fb4b5391652
Size44
Modification timeWed, 16 Sep 2020 17:33:49 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags configuration
don't replace
RPMphp-gmp-7.3.20-1.module_el8.2.0+498+4deef2f1.i686.rpm