Sindbad~EG File Manager

/.
/etc
/etc/php
/etc/php/7.2
/etc/php/7.2/mods-available
/usr
/usr/lib
/usr/lib/php
/usr/lib/php/20170718
/usr/lib/php/20170718/dom.so
/usr/lib/php/20170718/simplexml.so
/usr/lib/php/20170718/wddx.so
/usr/lib/php/20170718/xml.so
/usr/lib/php/20170718/xmlreader.so
/usr/lib/php/20170718/xmlwriter.so
/usr/lib/php/20170718/xsl.so
/usr/share
/usr/share/bug
/usr/share/bug/php7.2-xml
/usr/share/bug/php7.2-xml/control
/usr/share/bug/php7.2-xml/script
/usr/share/doc
/usr/share/lintian
/usr/share/lintian/overrides
/usr/share/lintian/overrides/php7.2-xml
/usr/share/php7.2-xml
/usr/share/php7.2-xml/xml
/usr/share/php7.2-xml/xml/dom.ini
/usr/share/php7.2-xml/xml/simplexml.ini
/usr/share/php7.2-xml/xml/wddx.ini
/usr/share/php7.2-xml/xml/xml.ini
/usr/share/php7.2-xml/xml/xmlreader.ini
/usr/share/php7.2-xml/xml/xmlwriter.ini
/usr/share/php7.2-xml/xml/xsl.ini
/usr/share/doc/php7.2-xml