Robustness on an optional variable

author moodler <moodler>

Sun, 21 Sep 2003 16:35:49 +0000 (16:35 +0000)

committer moodler <moodler>

Sun, 21 Sep 2003 16:35:49 +0000 (16:35 +0000)
author moodler <moodler>
Sun, 21 Sep 2003 16:35:49 +0000 (16:35 +0000)
committer moodler <moodler>
Sun, 21 Sep 2003 16:35:49 +0000 (16:35 +0000)
diff --git a/lib/weblib.php b/lib/weblib.php

index 02f0873cb3ab4fed1d27c212a947b2a732bc642d..f0258fb508c2c7a12ea8f8a706c89968f8f17f94 100644 (file)
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -788,8 +788,9 @@ function print_header ($title="", $heading="", $navigation="", $focus="", $meta=
              }
          }
          echo "<!DOCTYPE html PUBLIC \"-//W3C//DTD XHTML 1.1";
-        if ($CFG->xml_doctype_extra)
+        if (!empty($CFG->xml_doctype_extra)) {
              echo " plus $CFG->xml_doctype_extra";
+        }
          echo "//" . strtoupper($currentlanguage) . "\" \"$CFG->xml_dtd\">\n";
          $direction = " xmlns=\"http://www.w3.org/1999/xhtml\" xml:lang=\"$currentlanguage\" $direction";
      }