mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto
synced 2024-11-14 11:17:15 +00:00
1365e35d89
Apparently microtime is a bit unreliable for this test for some reason, so let's use getrusage() to measure actual CPU time instead. Bug: T125045 Change-Id: Ia1ab6b043b99abb4fc6c2989ad09a24d97dd09c3 |
||
---|---|---|
.. | ||
engines |