php/archived-pie
1
0
Fork 0
mirror of https://github.com/php/pie.git synced 2026-03-23 23:12:17 +01:00
Code Issues Packages Projects Releases Wiki Activity

Added hrtime PR link

Browse Source
This commit is contained in:
James Titcumb
2025-06-18 12:55:03 +02:00
parent 0dde467b42
commit d9cfd47292
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
docs/supported-extensions.md
View File

@@ -130,7 +130,7 @@ please do submit a [Pull Request](https://github.com/php/pie/pulls).
| hdr_histogram | ⏰ Coming soon: [beberlei/hdrhistogram](https://packagist.org/packages/beberlei/hdrhistogram) |
| hidef | ❌ Abandoned |
| hprose | ? |
| hrtime | ? |
| hrtime | ⏰ PR: [php/pecl-datetime-hrtime#1](https://github.com/php/pecl-datetime-hrtime/pull/1) |
| html_parse | ❌ Abandoned |
| htscanner | ❌ Abandoned |
| http_message | ? |