wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-11-27 17:50:06 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Scribunto/engines/LuaSandbox
History
Ori Livneh b5df651e1e Scribunto_LuaSandboxEngine::getResourceUsage(): call load() 
This is required for ensuring $this->interpreter is available. See
::getLimitReportData(), which does the same thing.

Change-Id: I275b093dd7d5f4873ec4b912823322e6e533cae1
2015-10-29 16:52:21 -07:00
..
Engine.php Scribunto_LuaSandboxEngine::getResourceUsage(): call load() 2015-10-29 16:52:21 -07:00