public static function html_start($title) { $title = REST::htmlspecialchars($title); $t_index = REST::urlencode(dirname($_SERVER['REQUEST_URI'])); if ($t_index != '/') { $t_index .= '/'; } $t_index = REST::htmlspecialchars($t_index); $portalurl = REST::htmlspecialchars(self::portalURL()); $retval = REST::xml_header() . <<<EOS <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en-us"> <head> <title>{$title}</title> <link rel="stylesheet" type="text/css" href="{$portalurl}style.css" /> <link rel="index" rev="child" type="application/xhtml+xml" href="{$t_index}" /> </head><body> <div id="header"><p><a rel="index" rev="child" href="{$t_index}"><img border="0" src="{$portalurl}dirup.png"/> UP</a></p> <h1>{$title}</h1></div> EOS; return $retval; }
/** * @param $title string Title in UTF-8 * @return string a piece of UTF-8 encoded XHTML, including XML and DOCTYPE * headers. */ public static function html_start($title) { if (self::$html_start !== null) { return call_user_func(self::$html_start, $title); } $t_title = htmlspecialchars($title, ENT_COMPAT, 'UTF-8'); $t_index = REST::urlencode(dirname($_SERVER['REQUEST_URI'])); if ($t_index != '/') { $t_index .= '/'; } $t_stylesheet = self::$STYLESHEET ? self::$STYLESHEET : "{$t_index}style.css"; return REST::xml_header() . <<<EOS <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en-us"> <head> <title>{$t_title}</title> <link rel="stylesheet" type="text/css" href="{$t_stylesheet}" /> <link rel="index" rev="child" type="application/xhtml+xml" href="{$t_index}"/> </head><body> <div id="div_header"> <div id="div_index"><a rel="index" rev="child" href="{$t_index}">index</a></div> <h1 id="h1_title">{$t_title}</h1> </div> EOS; }
/** * @param $title string title in UTF-8 */ public static function html_start($title) { $t_title = htmlspecialchars($title, ENT_COMPAT, "UTF-8"); $t_index = REST::urlencode(dirname($_SERVER['REQUEST_URI'])); if ($t_index != '/') { $t_index .= '/'; } $t_stylesheet = self::urlbase() . 'style.css'; $t_icon = self::urlbase() . 'favicon.png'; return REST::xml_header() . <<<EOS <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en-us"> <head> <title>{$t_title}</title> <link rel="stylesheet" type="text/css" href="{$t_stylesheet}" /> <link rel="index" rev="child" type="application/xhtml+xml" href="{$t_index}"/> <link rel="icon" type="image/png" href="{$t_icon}" /> </head><body> <div id="div_header"> <div id="div_index"><a rel="index" rev="child" href="{$t_index}">index</a></div> <h1>{$t_title}</h1> </div> EOS; }