mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto
synced 2024-12-02 11:56:13 +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 |
||
---|---|---|
.. | ||
LuaSandboxInterpreterTest.php | ||
SandboxTest.php | ||
SandboxTests.lua |