dépôts / lhc / web / wiklou.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 67fcd9e)
Use DTD as well as doctype to put browsers in standards compliance mode
authorBrion Vibber <brion@users.mediawiki.org>
Fri, 27 Jun 2003 07:30:33 +0000 (07:30 +0000)
committerBrion Vibber <brion@users.mediawiki.org>
Fri, 27 Jun 2003 07:30:33 +0000 (07:30 +0000)
includes/DefaultSettings.php patch | blob | history
includes/OutputPage.php patch | blob | history

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 926cf84..40c7834 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -44,6 +44,7 @@ $wgInputEncoding      = "ISO-8859-1";
 $wgOutputEncoding      = "ISO-8859-1";
 $wgEditEncoding                = "";
 $wgDocType          = "-//W3C//DTD HTML 4.01 Transitional//EN";
+$wgDTD              = "http://www.w3.org/TR/html4/loose.dtd";
 $wgAmericanDates = false;      # Enable for English module to print dates
                                                        # as eg 'May 12' instead of '12 May'
 $wgLocalInterwiki   = "w";
diff --git a/includes/OutputPage.php b/includes/OutputPage.php
index d09dcdd..21019c3 100644 (file)
--- a/includes/OutputPage.php
+++ b/includes/OutputPage.php
@@ -1267,9 +1267,9 @@ class OutputPage {
 
        /* private */ function headElement()
        {
-               global $wgDocType, $wgUser, $wgLanguageCode, $wgOutputEncoding;
+               global $wgDocType, $wgDTD, $wgUser, $wgLanguageCode, $wgOutputEncoding;
 
-               $ret = "<!DOCTYPE HTML PUBLIC \"$wgDocType\">\n";
+               $ret = "<!DOCTYPE HTML PUBLIC \"$wgDocType\" \"$wgDTD\">\n";
 
                if ( "" == $this->mHTMLtitle ) {
                        $this->mHTMLtitle = $this->mPagetitle;
Wiklou, le Wiki du Wiklou