function addSubHeader($benchFile, $key, $nav)
{
fwrite($benchFile, "<!DOCTYPE html>\n<html lang=\"en\">\n<head>\n<title>Benchmark " . $key . "</title>\n");
fwrite($benchFile, "\n<!-- Latest compiled and minified CSS -->\n");
fwrite($benchFile, "<link rel=\"stylesheet\" href=\"https://maxcdn.bootstrapcdn.com/bootstrap/3.3.6/css/bootstrap.min.css\" integrity=\"sha384-1q8mTJOASx8j1Au+a5WDVnPi2lkFfwwEAa8hDDdjZlpLegxhjVME1fgjWPGmkzs7\" crossorigin=\"anonymous\">\n");
fwrite($benchFile, "\n<!-- Optional theme -->\n");
fwrite($benchFile, "<link rel=\"stylesheet\" href=\"https://maxcdn.bootstrapcdn.com/bootstrap/3.3.6/css/bootstrap-theme.min.css\" integrity=\"sha384-fLW2N01lMqjakBkx3l/M9EahuwpSfeNvV63J5ezn3uZzapT0u7EYsXMjQV+0En5r\" crossorigin=\"anonymous\">\n");
addStyles($benchFile);
fwrite($benchFile, "</head>\n<body>\n");
fwrite($benchFile, "<nav class=\"navbar navbar-default navbar-fixed-top\">\n");
fwrite($benchFile, "<div class=\"container-fluid\">\n");
fwrite($benchFile, "<div class=\"navbar-header\">\n");
fwrite($benchFile, "<a class=\"navbar-brand\" href=\"../index.html\">\n");
fwrite($benchFile, "back to Index\n");
fwrite($benchFile, "</a>\n");
fwrite($benchFile, "</div>\n");
fwrite($benchFile, "<div class=\"collapse navbar-collapse\">\n");
fwrite($benchFile, "<ul class=\"nav navbar-nav\">\n");
foreach ($nav as $entry) {
fwrite($benchFile, "<li><a href=\"#" . getAnchor($key, $entry) . "\">" . $entry . "</a></li>\n");
}
fwrite($benchFile, "</ul>\n");
fwrite($benchFile, "</div>\n");
fwrite($benchFile, "</div>\n");
fwrite($benchFile, "</nav>\n");
fwrite($benchFile, "<div class=\"container\">\n");
fwrite($benchFile, "<div class=\"row\">\n");
fwrite($benchFile, "<div class=\"col-md-10\">\n");
fwrite($benchFile, "<h1>" . $key . "</h1>\n");
}
function show_kendo_belov_chart()
{
addStyles();
$chart = '<div id="chart"></div>';
return $chart;
}
