cvs: phpweb /include layout.inc shared-manual.inc

bjori Mon Mar 17 20:26:16 2008 UTC Modified files: /phpweb/include layout.inc shared-manual.inc Log: Initial eRDF support for manual pages http://cvs.php.net/viewvc.cgi/phpweb/include/layout.inc?r1=1.278&r2=1.279&diff_format=u Index: phpweb/include/layout.inc diff -u phpweb/include/layout.inc:1.278 phpweb/include/layout.inc:1.279 --- phpweb/include/layout.inc:1.278 Sun Mar 2 12:05:46 2008 +++ phpweb/include/layout.inc Mon Mar 17 20:26:16 2008 @@ -1,5 +1,5 @@ <?php -/* $Id: layout.inc,v 1.278 2008/03/02 12:05:46 bjori Exp $ */ +/* $Id: layout.inc,v 1.279 2008/03/17 20:26:16 bjori Exp $ */ // Set the static content root differently on php.net $_SERVER['STATIC_ROOT'] = ($MYSITE == 'http://www.php.net/') ? @@ -153,13 +153,23 @@ } } + $profile = ""; + if (isset($config['profile']) && !empty($config['profile'])) { + $profile = ' profile="'; + if (is_array($config['profile'])) { + $profile .= implode(" ", $config['profile']); + } else { + $profile .= $config['profile']; + } + $profile .= '"'; + } print <<<END_HEADER <!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" lang="en"> -<head> +<head{$profile}> <title>PHP{$title}</title> <style type="text/css" media="all"> @import url("{$_SERVER['STATIC_ROOT']}/styles/site.css"); http://cvs.php.net/viewvc.cgi/phpweb/include/shared-manual.inc?r1=1.237&r2=1.238&diff_format=u Index: phpweb/include/shared-manual.inc diff -u phpweb/include/shared-manual.inc:1.237 phpweb/include/shared-manual.inc:1.238 --- phpweb/include/shared-manual.inc:1.237 Sun Nov 25 18:47:19 2007 +++ phpweb/include/shared-manual.inc Mon Mar 17 20:26:16 2008 @@ -1,6 +1,6 @@ <?php // -*- C++ -*- -// $Id: shared-manual.inc,v 1.237 2007/11/25 18:47:19 bjori Exp $ +// $Id: shared-manual.inc,v 1.238 2008/03/17 20:26:16 bjori Exp $ /* @@ -61,13 +61,17 @@ $_SERVER['BASE_HREF'] = $MYSITE . $_SERVER['BASE_PAGE']; manual_sidebar(); - $link = array( - "contents" => $PGI["home"][0], - "index" => $PGI["up"][0], - "prev" => $PGI["prev"][0], - "next" => $PGI["next"][0], - ); - site_header("$title - Manual", array("link" => $link)); + site_header("$title - Manual", array( + "link" => array( + "contents" => $PGI["home"][0], + "index" => $PGI["up"][0], + "prev" => $PGI["prev"][0], + "next" => $PGI["next"][0], + "schema.dc" => "http://purl.org/dc/elements/1.1/", + "schema.rdfs" => "http://www.w3.org/2000/01/rdf-schema#", + ), + "profile" => "http://purl.org/NET/erdf/profile", + )); manual_navbar(); }