-->
// -->
//
function fix_links($html) {
if (isset($_GET["print"]) || isset($_GET["mobile"])) {
$param = isset($_GET["print"]) ? "print" : "mobile";
$patterns = array(
'/ ' ' '" . $className . "\n" . $json["html"], $fragment);
}
elseif (preg_match('/^\/api\/?$/', $fragment, $m)) {
print_index_page();
}
elseif (preg_match('/^\/guide\/(.+?)(-section-.+)?$/', $fragment, $m)) {
$json = decode_file("guides/".$m[1]."/README.js");
print_page($json["title"], '' . $json["guide"] . '
', $fragment);
}
elseif (preg_match('/^\/guide\/?$/', $fragment, $m)) {
print_index_page();
}
else {
print_index_page();
}
}
catch (Exception $e) {
print_page($e->getMessage(), $e->getMessage(), $fragment);
}
}
else {
echo file_get_contents("template.html");
}
?>