To export in XML format, use the dumpBackup script as part of MediaWiki installation. Open a Web terminal and run the following commands:
cd /app/code/maintenance
php dumpBackup.php --full > /tmp/dump.xml

You can download the dump using the download button at the top of the terminal and entering /tmp/dump.xml.