Juliette 463a6ab544 Extensions/Membership: fix placement of HRTime (#3610) ...

Updates: https://www.php.net/manual/en/extensions.membership.php

Please correct me if I'm wrong, but AFAIK, HRTime is a PECL extension and not bundled extension.

Refs:
https://www.php.net/manual/en/hrtime.installation.php

Co-authored-by: jrfnl <jrfnl@users.noreply.github.com>

2024-07-26 03:57:18 +01:00

..

hrtime-performancecounter

Whitespace fixes

2018-11-26 11:31:58 +00:00

hrtime-stopwatch

[skip-revcheck] typo

2021-09-10 12:17:01 +01:00

book.xml

Extensions/Membership: fix placement of HRTime (#3610)

2024-07-26 03:57:18 +01:00

configure.xml

started with the doc for the hrtime ext

2014-04-18 17:01:44 +00:00

examples.xml

set some missing props

2014-04-27 09:04:52 +00:00

hrtime.performancecounter.xml

[skip-revcheck] Convert class markup to be compatible with DocBook 5.2

2024-06-14 17:04:53 +01:00

hrtime.stopwatch.xml

[skip-revcheck] Convert class markup to be compatible with DocBook 5.2

2024-06-14 17:04:53 +01:00

hrtime.unit.xml

[skip-revcheck] Convert class markup to be compatible with DocBook 5.2

2024-06-14 17:04:53 +01:00

setup.xml

Remove empty configuration pages (#3538)

2024-07-09 22:24:55 +01:00

versions.xml

refactor docs for hrtime

2017-01-05 21:42:11 +00:00