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

Name/etc/php.d/20-gmp.ini
Digest (sha256)1de80e283bbfe30e7e8bce86000b1696404e9b68f8bbb5703fac9fb4b5391652
Size44.00 B
Modification timeMon, 12 Dec 2022 11:51:31 CST
Userroot
Grouproot
Mode-rw-r--r--
Flags configuration
don't replace
RPMphp-gmp-7.4.30-1.module+oc8.6.0+407+337238af.x86_64.rpm