//opt/alt/php72/etc/php.d.all.def/dom.ini