by Howard Miller.
Install the extension then
From the command line...
sudo apt install php-xml
sudo service apache2 restart