diff --git a/sanity_check.php b/sanity_check.php index 80796b0d4..17937a3f7 100644 --- 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 "Fatal Error: $err_msg\n"; exit;