xpath($xpath); else $page = $xml->xpath($xpath); changeLinks($page); function ic_html($pname) { if (strpos(" ".$pname,chr(0xef))==1) $rt = ''.substr($pname,0,3).' '.substr($pname,4); else $rt = $pname; return $rt; } //if($_SERVER['HTTPS']) $mps="https://"; else $mps="http://"; $mps="http://"; $mainpage = $mps.$_SERVER['HTTP_HOST'].str_replace("/index.php","",$_SERVER['SCRIPT_NAME']); $lang = $page[0]['language']; if ($lang == "") $lang="en"; ?>
\n" ?>