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

@@ -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);