Information for file /etc/opt/rh/rh-php72/php.d/20-dom.ini
| Name | /etc/opt/rh/rh-php72/php.d/20-dom.ini |
|---|---|
| Digest (sha256) | 688b2e99be12e80e49f4bf9d037c3ecb6f8f2f0ce97feefd43696b514b21c734 |
| Size | 44.00 B |
| Modification time | Tue, 30 Oct 2018 13:18:46 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
configuration don't replace |
| RPM | rh-php72-php-xml-7.2.10-2.el7.x86_64.rpm |
