xref: /php-src/ext/standard/hrtime.c (revision 5d6e923d)

Error reading file