xref: /php-src/ext/standard/hrtime.c (revision 0cf7de1c)

Error reading file