===> Mon Jul 29 20:22:29 BST 2019 Starting tr
===> Mon Jul 29 20:22:29 BST 2019 Configuring tr
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-tr.xml
Checking whether to include CHM... no
Checking for PHP executable... /usr/bin/php
Checking for language to build... tr
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 tr
Failed completely
=============> Please have a look!
=============> Something happenend when snapshotting tr
Failed configuring tr
=============> Please have a look!
===> Mon Jul 29 20:22:29 BST 2019 Cleaning /local/src/phpdoc-all//doc-base/2019-07-29-20-tr.xml