volgens Howard Miller.
If you upgrade to 18.04 you get PHP 7.2. If you have an earlier version then that must have been installed intentionally.
Try this...
sudo apt install php70-xml
sudo service apache2 restart
