From fdaa4dee053b6a006ff6251dd9ec8d403cfd56f8 Mon Sep 17 00:00:00 2001
From: Dominique Fournier <dominique@fournier38.fr>
Date: Wed, 16 Oct 2019 06:54:13 +0000
Subject: [PATCH] outputhtml : if no php-xml support, require it

git-svn-id: https://svn.fournier38.fr/svn/ProgSVN/trunk@5595 bf3deb0d-5f1a-0410-827f-c0cc1f45334c
---
 outputhtml.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/outputhtml.php b/outputhtml.php
index 18a8465..fc7bdc3 100644
--- a/outputhtml.php
+++ b/outputhtml.php
@@ -113,6 +113,9 @@ EOT;
     //echo $layoutPage;exit;
     // Manage the timestamp/md5sum for the external files managed by this
     // server.
+    if (! class_exists ("DOMDocument"))
+      die ("PHP Support for XML not enabled or not installed : ".
+      "apt-get install php-xml\n");
     $dom = new \DOMDocument ();
     libxml_use_internal_errors (true);
     $dom->loadHTML ($layoutPage);