reference/hrtime/book.xml
76381b34bf93f4684f620083866e2f224b78b813
...
...
@@ -2,6 +2,7 @@
2
2
<!-- $Revision$ -->
3
3

4
4
<book xml:id="book.hrtime" xmlns="http://docbook.org/ns/docbook" xmlns:xlink="http://www.w3.org/1999/xlink">
5
+
<?phpdoc extension-membership="bundled" ?>
5
6
<title>High resolution timing</title>
6
7
<titleabbrev>HRTime</titleabbrev>
7
8

...
...
@@ -10,8 +11,14 @@
10
11
<para>
11
12
The HRTime extension implements a high resolution StopWatch class. It uses the
12
13
best possible APIs on different platforms which brings resolution up to nanoseconds. It also makes possible to implement
13
-
a custom stopwatch using low level ticks delivered by the underlaying APIs.
14
+
a custom stopwatch using low level ticks delivered by the underlying APIs.
14
15
</para>
16
+
<note>
17
+
<simpara>
18
+
As of PHP 7.3.0 the related function <function>hrtime</function> is part of
19
+
the core.
20
+
</simpara>
21
+
</note>
15
22
</preface>
16
23

17
24
&reference.hrtime.setup;
18
25