1
0
mirror of synced 2025-01-20 15:31:40 +03:00

add the corresponding <title> to manual pages

This commit is contained in:
runa 2007-02-06 14:16:10 +00:00
parent 6f4b4e0e01
commit bb6d574e93
2 changed files with 16 additions and 7 deletions

View File

@ -1,7 +1,7 @@
<?php
require_once("highlight.php");
error_reporting(E_ALL);
include("top.php");
$h = new PHP_Highlight();
function render($title,$t,$e) {
@ -568,6 +568,19 @@ $menu = array('Getting started' =>
))
);
if (!empty($_REQUEST['index'])){
$ex = explode(".",$_REQUEST["index"]);
$paths = array2path($menu);
if( ! isset($paths[$ex[0]])){
$title = '';
}else{
$title = " / ". $paths[$ex[0]];
}
}else{
$title = '';
}
include("top.php");
?>
@ -649,11 +662,7 @@ $menu = array('Getting started' =>
} else {
$i = 1;
$ex = explode(".",$_REQUEST["index"]);
$paths = array2path($menu);
// $paths was generated before, to display a correct document title
if( ! isset($paths[$ex[0]]))
exit;

View File

@ -1,7 +1,7 @@
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<HTML>
<HEAD>
<TITLE>Doctrine ORM Framework</TITLE>
<TITLE>Doctrine ORM Framework <?=$title?></TITLE>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
<link rel="stylesheet" type="text/css" href="styles/basic.css">
</HEAD>