]> git.joonet.de Git - adminer.git/commitdiff
projects / adminer.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: c42c46a)
URL in doctype is not required
authorjakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Wed, 15 Jul 2009 15:08:48 +0000 (15:08 +0000)
committerjakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Wed, 15 Jul 2009 15:08:48 +0000 (15:08 +0000)
git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@837 7c3ca157-0c34-0410-bff1-cbf682f78f5c

adminer/include/design.inc.php patch | blob | history

diff --git a/adminer/include/design.inc.php b/adminer/include/design.inc.php
index 3637b15f05b8dd2c8dac631fb9a7891836f8c92b..5bbc50351afb92957c7317c4019a3c1cbee26805 100644 (file)
--- a/adminer/include/design.inc.php
+++ b/adminer/include/design.inc.php
@@ -3,7 +3,7 @@ function page_header($title, $error = "", $breadcrumb = array(), $title2 = "") {
        global $SELF, $LANG, $VERSION;
        header("Content-Type: text/html; charset=utf-8");
        ?>
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN">
 <html lang="<?php echo $LANG; ?>">
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
 <meta http-equiv="Content-Script-Type" content="text/javascript">
Sources of adminer, a webclient for database management systems.