isMobile();
}
// Turns #! links into ?print= links when in print mode.
//
// -->
// -->
//
function fix_links($html) {
if (isset($_GET["print"]) || is_mobile()) {
$patterns = array(
'/ ' '" . $className . "\n" . $json["html"], $fragment);
}
elseif (preg_match('/^\/api\/?$/', $fragment, $m)) {
print_index_page();
}
elseif (preg_match('/^\/guide\/(.+?)(-section-[0-9]+)?$/', $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");
}
?>