array ( 0 => 'index.php', 1 => 'PHP Manual', ), 'head' => array ( 0 => 'UTF-8', 1 => 'uk', ), 'this' => array ( 0 => 'book.hrtime.php', 1 => 'HRTime', 2 => 'High resolution timing', ), 'up' => array ( 0 => 'refs.calendar.php', 1 => 'Розширення, що стосуються дати й часу', ), 'prev' => array ( 0 => 'timezones.others.php', 1 => 'Інші', ), 'next' => array ( 0 => 'intro.hrtime.php', 1 => 'Вступ', ), 'alternatives' => array ( ), 'source' => array ( 'lang' => 'en', 'path' => 'reference/hrtime/book.xml', ), 'history' => array ( ), 'extra_header_links' => array ( 'rel' => 'alternate', 'href' => '/manual/en/feeds/book.hrtime.atom', 'type' => 'application/atom+xml', ), ); $setup["toc"] = $TOC; $setup["toc_deprecated"] = $TOC_DEPRECATED; $setup["parents"] = $PARENTS; manual_setup($setup); contributors($setup); ?>

High resolution timing