add sanity check for DOMDocument

diff --git a/sanity_check.php b/sanity_check.php
index 80796b0d4dca14c19e693403a88efd4b2c289821..17937a3f724b546f5d7977d157362a2db4deed31 100644 (file)
--- a/sanity_check.php
+++ b/sanity_check.php
@@ -147,6 +147,10 @@
                $err_msg = "PUBSUBHUBBUB_HUB is defined, but CURL functions are not found. CURL is required for PubSubHubbub support.";
        }
 
+       if (!class_exists("DOMDocument")) {
+               $err_msg = "PHP: DOMDocument extension not found.";
+       }
+
        if ($err_msg) {
                print "<b>Fatal Error</b>: $err_msg\n";
                exit;