Thu, 29 Sep 2022 05:12:18 UTC

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

Name/etc/php.d/20-gmp.ini
Digest (sha256)1de80e283bbfe30e7e8bce86000b1696404e9b68f8bbb5703fac9fb4b5391652
Size44
Modification timeThu, 27 Jan 2022 16:14:03 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags configuration
don't replace
RPMphp-gmp-7.4.19-2.module_el8.6.0+1075+ab70be85.ppc64le.rpm