Information for file /usr/include/php/ext/standard/microtime.h
| Name | /usr/include/php/ext/standard/microtime.h |
|---|---|
| Digest (sha256) | c9c3363cf63e51e29c088922e68c92a0edec414a9b7ed2be6a348f60f1755fd9 |
| Size | 1.33 KB |
| Modification time | Fri, 23 Mar 2018 03:40:09 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | php-devel-7.2.4~RC1-0.riscv64.fc28.riscv64.rpm |
