global $theme_css, $custom_css, $base_uri;
$page = new html();
- $page->addChild('!DOCTYPE','','','','',
- array('HTML','PUBLIC', '"-//W3C//DTD HTML 4.0 Transitional//EN"'));
- $html = new html('html');
- $html->addChild('HTML');
+ $page->addChild('','<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">');
+ $page->addChild('HTML');
return $page;
}