Index of /usr/share/php7.2-xml/xml/

../
dom.ini                                            28-Nov-2019 08:24                  66
simplexml.ini                                      28-Nov-2019 08:24                  72
wddx.ini                                           28-Nov-2019 08:24                  67
xml.ini                                            28-Nov-2019 08:24                  66
xmlreader.ini                                      28-Nov-2019 08:24                  72
xmlwriter.ini                                      28-Nov-2019 08:24                  72
xsl.ini                                            28-Nov-2019 08:24                  66