git://git.webkit.org / WebKit-https.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
Fix the build.
[WebKit-https.git] / WebKitSite / header.inc
diff --git a/WebKitSite/header.inc b/WebKitSite/header.inc
index 69c1f0d..2dcbe0e 100644 (file)
--- a/WebKitSite/header.inc
+++ b/WebKitSite/header.inc
@@ -1,40 +1,36 @@
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
-<html xmlns="http://www.w3.org/1999/xhtml">
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
+<html>
 <head>
-       <meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
+    <meta http-equiv="Content-Type" content="text/html;charset=utf-8">
 
-       <title>The WebKit Open Source Project<?php if (isset($title)) { echo " - " . $title; } ?></title>
+    <title>The WebKit Open Source Project<?php if (isset($title)) { echo " - " . $title; } ?></title>
 
-       <link rel="stylesheet" type="text/css" href="/css/main.css" />
-       <link rel="stylesheet" type="text/css" href="/css/green.css" title="green" />
+    <link rel="stylesheet" type="text/css" href="/css/main.css">
+    <link rel="stylesheet" type="text/css" href="/css/green.css" title="green">
 
-<?php
-    $msie = '/msie\s(5\.[5-9]|[6]\.[0-9]*).*(win)/i';
-    $agent = $_SERVER['HTTP_USER_AGENT'];
-    if( isset($agent) && preg_match($msie, $agent) && ! preg_match('/opera/i', $agent)) {
-?>
-       <link rel="stylesheet" type="text/css" href="/css/ie.css" />
-<?php } else { ?>
-       <link rel="alternate stylesheet" type="text/css" href="/css/blue.css" title="blue" />
-       <link rel="alternate stylesheet" type="text/css" href="/css/yellow.css" title="yellow" />
-       <link rel="alternate stylesheet" type="text/css" href="/css/pink.css" title="pink" />
-       <link rel="alternate stylesheet" type="text/css" href="/css/purple.css" title="purple" />
-       <link rel="alternate stylesheet" type="text/css" href="/css/gray.css" title="gray" />
-<?php } ?>
-
-       <script type="text/javascript">
-               pic1 = new Image(8,9);
-               pic1.src="/images/green-bullet.png";
-               pic2 = new Image(8,9);
-               pic2.src="/images/blue-bullet.png";
-               pic3 = new Image(8,9);
-               pic3.src="/images/yellow-bullet.png";
-               pic4 = new Image(8,9);
-               pic4.src="/images/pink-bullet.png";
-               pic5 = new Image(8,9);
-               pic5.src="/images/purple-bullet.png";
-       </script>
-       
+    <link rel="alternate stylesheet" type="text/css" href="/css/blue.css" title="blue">
+    <link rel="alternate stylesheet" type="text/css" href="/css/yellow.css" title="yellow">
+    <link rel="alternate stylesheet" type="text/css" href="/css/pink.css" title="pink">
+    <link rel="alternate stylesheet" type="text/css" href="/css/purple.css" title="purple">
+    <link rel="alternate stylesheet" type="text/css" href="/css/gray.css" title="gray">
+
+<!--[if gte IE 5]>
+    <link rel="stylesheet" type="text/css" href="/css/ie.css">
+<![endif]-->
+
+    <script type="text/javascript">
+        pic1 = new Image(8,9);
+        pic1.src="/images/green-bullet.png";
+        pic2 = new Image(8,9);
+        pic2.src="/images/blue-bullet.png";
+        pic3 = new Image(8,9);
+        pic3.src="/images/yellow-bullet.png";
+        pic4 = new Image(8,9);
+        pic4.src="/images/pink-bullet.png";
+        pic5 = new Image(8,9);
+        pic5.src="/images/purple-bullet.png";
+    </script>
+    
 <?php
     if (isset($extra_head_content)) {
         echo $extra_head_content;
@@ -49,4 +45,4 @@
 
 <div id="icon"></div>
 
-<div id="content">
\ No newline at end of file
+<div id="content">
Mirror of the WebKit open source project from svn.webkit.org.