xref: /PHP-7.2/ext/standard/microtime.h (revision fc33f52d)

Error reading file