goba            Sat Sep  4 08:05:11 2004 EDT

  Modified files:              
    /livedocs/themes/php.net    html_format.php 
  Log:
  fix phpweb theme to be proper XHTML - this should fix display in IE - modified patch 
by Nuno Lopes
  
http://cvs.php.net/diff.php/livedocs/themes/php.net/html_format.php?r1=1.12&r2=1.13&ty=u
Index: livedocs/themes/php.net/html_format.php
diff -u livedocs/themes/php.net/html_format.php:1.12 
livedocs/themes/php.net/html_format.php:1.13
--- livedocs/themes/php.net/html_format.php:1.12        Fri Sep  3 02:48:44 2004
+++ livedocs/themes/php.net/html_format.php     Sat Sep  4 08:05:08 2004
@@ -18,7 +18,7 @@
 // | headers and footers for the HTML rendering                           |
 // +----------------------------------------------------------------------+
 //  
-// $Id: html_format.php,v 1.12 2004/09/03 06:48:44 derick Exp $
+// $Id: html_format.php,v 1.13 2004/09/04 12:05:08 goba Exp $
 
 // in livedoc.php
 define(
@@ -32,17 +32,17 @@
        global $lang, $title, $css_url, $nav;
        $dir = RTL;
        $head =<<<HEAD
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
-       "http://www.w3.org/TR/html4/loose.dtd";>
-<html lang="$lang">
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+    "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd";>
+<html lang="$lang" xmlns="http://www.w3.org/1999/xhtml"; xml:lang="$lang">
 <head>
-<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
+<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
 <title>PHP: $title - Manual</title>
-<link rel="stylesheet" href="/style.css" />
-<link rel="stylesheet" href="/styles/mirror.css" />
-<link rel="stylesheet" href="$css_url" />
+<link rel="stylesheet" href="/style.css" type="text/css" />
+<link rel="stylesheet" href="/styles/mirror.css" type="text/css" />
+<link rel="stylesheet" href="$css_url" type="text/css" />
 <link rel="shortcut icon" href="/favicon.ico" />
-<script language="Javascript" type="text/javascript" src="/userprefs.js" />
+<script language="Javascript" type="text/javascript" src="/userprefs.js"></script>
 </head>
 <body$dir>
 <table border="0" cellpadding="0" cellspacing="0" width="100%">

Reply via email to