I recently switched to PHP 7 on my development server, which has worked just fine - until now.
Since I updated to
I had the same problem. Just install
php7.0-xml package. Ubuntu 16.04:
sudo apt-get install php7.0-xml
Edit: Restart apache2 to load the new package.