get_library(); $library_size = count($library); $maxpage = ceil($library_size/$pagesize); if ($page > $maxpage) $page = $maxpage; $startindex = ($page - 1) * $pagesize; $start = file_get_contents("resources/start.html"); $start = str_replace("{{ STYLE }}", file_get_contents("resources/style.css"), $start); echo $start; $partial_library = array_slice($library, $startindex, $pagesize); $previous = $page - 1; if ($previous < 1) $previous = 1; $next = $page + 1; if ($next > $maxpage) $next = $maxpage; echo '
";
// print_r($partial_library);
// foreach ($partial_library as $key => $value)
// {
// $firstdiff = $value["difficulties"][array_key_first($value["difficulties"])];
// echo $firstdiff["artist"] . " - " . $firstdiff["title"] . " (" . count($value["difficulties"]) . " difficulties)\n";
// }
$proc_times = array();
foreach ($library as $key => $set)
{
$tiempo = 0;
foreach ($set["difficulties"] as $map)
{
$tiempo += $map["parse_time"];
}
$proc_times[$key] = $tiempo;
}
arsort($proc_times);
foreach ($proc_times as $key => $tiempo)
{
$value = $library[$key];
$firstdiff = $value["difficulties"][array_key_first($value["difficulties"])];
echo str_pad(round($tiempo, 5), 7, "0") . "s " . $value["id"] . ": " . $firstdiff["Metadata"]["Artist"] . " - " . $firstdiff["Metadata"]["Title"] . " (" . count($value["difficulties"]) . " difficulties)\n";
}
echo "";