./srv/header
Get line numbers
<?php
global $phpurims;
define('SITENAME', 'Mildred Website');
define('SITEADDR', 'http://mildred593.free.fr/');
// XHML NameSpace
define('XMLNS_XHTML', 'http://www.w3.org/1999/xhtml');
define('XMLNS_XHTML_1', XMLNS_XHTML);
define('XMLNS_XHTML1', XMLNS_XHTML_1);
define('DOCTYPE_XHTML11', '<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">');
define('XHTML_CSS_STD', html_header(0));
define('EMAIL_ENCODED', email($phpurims->cfg['info']['email']));
define('CR', "\r");
define('LF', "\n");
// See http://www.w3.org/QA/Tips/use-links
define('LINK_AUTHOR', '<link rel="made" title="Webmaster" href="'.email($phpurims->cfg['info']['email']).'" />');
define('LINK_FOLDER', '<link rev="Contents" href="?'.COMMAND.'=folder" />');
define('LINK_HELP', '<link rev="Help" href="?'.COMMAND.'=pages&page=help" title="'.$phpurims->cfg['id']['this'].' Help" />');
define('LINK_ABOUT', '<link rel="bookmark" title="About '.$phpurims->cfg['id']['this'].'" href="?'.COMMAND.'=pages&page=about" />');
define('LINK_ICON', '<link rel="icon" title="Icon" href="?'.COMMAND.'=pages&page=leaf.png" />');
function html_header($print=true){
global $phpurims;
if(!$print) ob_start();
$rel_made='rel="made"';
$rel_contents='rel="contents"';
$rel_icon='rel="icon"';
$icon="?'.COMMAND.'=pages&page=leaf.png";
$email=email($phpurims->cfg['info']['email']);
$rel_css='rel="stylesheet"';
$rel_acss='rel="alternate stylesheet"';
$type_css='type="text/css"';
$css_lynx=html_path('/lynx.css');
$css_mermaid=html_path('/style.css');
$page='?phpurims=pages&page';
$h[]="<link $rel_css $type_css href=\"$page=css\" />";
//$h[]="<link $rel_acss $type_css href=\"$css_lynx\" title=\"Lynx\" />";
$h[]="<link $rel_css $type_css href=\"$css_mermaid\" title=\"Images\" />";
$h[]="<link $rel_made href=\"$email\" title=\"Webmaster\" />";
$h[]="<link $rel_contents href=\"?'.COMMAND.'=folder\" />";
$h[]="<link $rel_icon href=\"$icon\" />";
print join("\n\t\t", $h);
print "\n\t\t<!-- Translations -->\n";
print html_link_translation();
if(!$print){
$return = ob_get_contents();
ob_end_clean();
return $return;
}
}
function start(){
if(!defined('CONTENT_TYPE') && func_num_args()>=1) define('CONTENT-TYPE', func_get_arg(0));
if(!defined('ENCODING') && func_num_args()>=2) define('ENCODING', func_get_arg(1));
if(!defined('CONTENT_TYPE')){
if(strpos(' '.$_SERVER['HTTP_ACCEPT'], 'application/xhtml+xml'))
define('CONTENT_TYPE', 'application/xhtml+xml');
else define('CONTENT_TYPE', 'text/html');
}
if(!defined('ENCODING')) define('ENCODING', 'utf-8'); // iso-8859-15
if(strlen(trim(ENCODING))) $encoding = "; charset=".ENCODING;
header('Content-type: '.CONTENT_TYPE.$encoding);
}
function email($mail){
require_once("lib/mail");
return phpurims_pmail($mail);
}
function find_translations($filename=NULL){
if(is_null($filename)) $filename=$_SERVER[strtoupper(COMMAND).'_PATH'];
$file=basename($filename);
$dir = dirname($filename);
if(preg_match('!^(.*\.)[a-z]{2}(\.[^.]+)$!', $file, $regs))
$file=array($regs[1], $regs[2]);
elseif(preg_match('!^(.*\.)[a-z]{2}$!', $file, $regs))
$file=array($regs[1], '');
elseif(preg_match('!^(.*\.)([^.]+)$!', $file, $regs))
$file=array($regs[1], ".".$regs[2]);
elseif(preg_match('!^(.*)$!', $file, $regs))
$file=array($regs[1].".", "");
$d=opendir($dir);
$len1 = strlen($file[0]);
$len2 = strlen($file[1]);
while($f=readdir($d)){
if( substr($f, 0, $len1)==$file[0]
&& substr($f, -$len2)==$file[1]
&& preg_match('!^[a-z]{2}$!', substr($f, $len1, 2)))
$files[$f] = substr($f, $len1, 2);
}
closedir($d);
return $files;
}
function html_link_translation($lang="xml:lang"){
$list=find_translations();
$r='';
foreach($list as $file=>$lg){
$r.= "\t\t<link rel=\"Alternate\" href=\"$file\" $lang=\"$lg\" />\n";
}
return $r;
}
$disp=array('mermaid', 'trans');
foreach($disp as $item){
$item_up = strtoupper($item);
if(!isset($_SESSION['disp'][$item])) $_SESSION['disp'][$item]=false;
if(isset($_GET['disp'][$item])){
if(strlen($_GET['disp'][$item]))
$_SESSION['disp'][$item]=false;
else $_SESSION['disp'][$item]=true;
}
define("DISP_$item_up", $_SESSION['disp'][$item]);
}
?>
Get line numbers