Fix YET ANOTHER PHP WEAK TYPING BUG

Literal "0" was getting quoted.  Because, of course, 0 is equal to the
empty string.

diff --git a/includes/Html.php b/includes/Html.php
index a58459d..8a518df 100644 (file)
--- a/includes/Html.php
+++ b/includes/Html.php
@@ -237,7 +237,7 @@ class Html {
                        # marks omitted, but not all.  (Although a literal " is not
                        # permitted, we don't check for that, since it will be escaped
                        # anyway.)
-                       if ( $wgWellFormedXml || $value == ''
+                       if ( $wgWellFormedXml || $value === ''
                        || preg_match( "/[ '=<>]/", $value ) ) {
                                $quote = '"';
                        } else {