SimpleXMLElement not found

[iljabek]

straight mediawiki xml export (see the attached file) showed the message below

PHP Fatal error:  Uncaught Error: Class 'SimpleXMLElement' not found in /builds/xxx/repo/convert.php:50
Stack trace:
#0 {main}

ipm.txt

[bill-long]

I'm seeing the same behavior. Did you figure this out?

Edit: I had to run:

sudo apt install php7.2-xml

Then it worked.

[ab3nd]

For me it was sufficient to do "sudo apt install php-xml", but it's also 4 years later, so php versions have likely changed.