===> Mon Jul 29 20:22:28 BST 2019 Starting phpdoc-all
===> Mon Jul 29 20:22:28 BST 2019 Configuring phpdoc-all
configure.php: $Id: configure.php 344134 2018-01-31 12:33:50Z vrana $
PHP version: 7.3.7

Checking for source directory... /local/src/phpdoc-all/doc-base
Checking for output filename... /local/src/phpdoc-all//doc-base/2019-07-29-20-phpdoc-all.xml
Checking whether to include CHM... no
Checking for PHP executable... /usr/bin/php
Checking for language to build... phpdoc-all
Checking whether the language is supported... yes
Checking for partial build... no
Checking whether to enable detailed XML error messages... no
Checking libxml version... 2.9.1
Checking whether to enable detailed error reporting (may segfault)... yes
Checking whether to optimize out the DTD (performance gain, but segfaults)... no
Generating /local/src/phpdoc-all/doc-base/manual.xml... done
Generating /local/src/phpdoc-all/doc-base/install-unix.xml... done
Generating /local/src/phpdoc-all/doc-base/install-win.xml... done
Generating /local/src/phpdoc-all/doc-base/developer.template.xml... done
Generating /local/src/phpdoc-all/doc-base/scripts/file-entities.php... done
PHP Fatal error:  Uncaught Error: Class 'DOMDocument' not found in /local/src/phpdoc-all/doc-base/configure.php:551
Stack trace:
#0 {main}
  thrown in /local/src/phpdoc-all/doc-base/configure.php on line 551
=============> Something happenend when snapshotting phpdoc-all
Failed completely
=============> Please have a look!
=============> Something happenend when snapshotting phpdoc-all
Failed configuring phpdoc-all
=============> Please have a look!
===> Mon Jul 29 20:22:28 BST 2019 Cleaning /local/src/phpdoc-all//doc-base/2019-07-29-20-phpdoc-all.xml