mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto
synced 2024-12-01 19:36: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 |
||
---|---|---|
.. | ||
LuaCommon | ||
LuaSandbox | ||
LuaStandalone |