/usr/share/php7.3-xml/xml
Directories:

• /usr/share/php7.3-xml

Files:

• wddx.ini
• xmlreader.ini
• xml.ini
• xmlwriter.ini
• xsl.ini
• dom.ini
• simplexml.ini