Editing File: /opt/alt/php72/etc/php.d.std/dom.ini