diff options
| author | Andreas Gohr <andi@splitbrain.org> | 2023-04-06 08:51:25 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-06 08:51:25 +0200 |
| commit | 753d9add8c516f6c3033ee28c43def76d6abc45a (patch) | |
| tree | 734cde95f2c4304cd395f07c8473f089615ab737 /lib/scripts/page.js | |
| parent | be83736686f5e8bc1ca674194b5cc8dc742abc23 (diff) | |
| parent | e8b8bf8cecdecd0086b42074d698626b315b923d (diff) | |
| download | dokuwiki-753d9add8c516f6c3033ee28c43def76d6abc45a.tar.gz dokuwiki-753d9add8c516f6c3033ee28c43def76d6abc45a.zip | |
Merge pull request #3941 from glensc/microtime
HttpClient::time(): use microtime(true) directly
Diffstat (limited to 'lib/scripts/page.js')
0 files changed, 0 insertions, 0 deletions