Look at the home page instead.");
# Strictly speaking, if I am sending any HTML, I should wrap it up properly in an HTML header
}
$j1=strpos($fin,'***d_links');
$j2=strpos($fin,'***body');
$titext=substr($fin,0,$j1);
$links =substr($fin,$j1+10,$j2-$j1-10);
$fin =substr($fin,$j2+7);
header('Content-type: text/html; charset=utf-8'); # ++++ ? move into rwhhead
rwhhead($titext,"","","cowi_gen.css");
?>
", $fin);
while (true) {
if (($j1=strpos($fin,'',$j1)-$j1+1);
$ar=parse_ini_string(str_replace(" ","\n",substr($tok,4,strlen($tok)-5)));
# var_export($ar);
if (substr($tok,1,1)=='a') {
$xx=isset($ar['x']);
$imnam="{$ar['s']}.jpg"; $bigx=$_g['big'][$imnam];
$hei=$ar['h']; if ($bigx || $xx) $hei -= 4;
$wid= floor($hei*$ar['w']/$ar['h']);
$nai="".
"
";
} else {
$nai="[[#{$ar['r']}]]";
}
$fin=str_replace($tok,$nai,$fin);
}
echo wikilinks($fin);
# if ($_SERVER['SERVER_NAME']=='localhost') { # don't work!
if (strlen($_REQUEST['pathome'])) {
echo "
\n
";
}
?>