mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto
synced 2024-12-02 11:56:13 +00:00
996ea62765
Add a profiler report to the limit report for pages with more than 1s of Lua time. Uses the profiler introduced in I0b83a914 of LuaSandbox. Also, fixed some circular references which were preventing the LuaSandbox object from being destroyed when Scribunto::resetEngine() was called. Otherwise a large number of interval timers could be started due to a LuaSandbox object resource leak. Change-Id: I5487fe2623974939d07f09f7197e86a5f297a8f1 |
||
---|---|---|
.. | ||
lualib | ||
LuaCommon.php | ||
LuaInterpreter.php |