mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto
synced 2024-12-02 11:56:13 +00:00
96615c97b0
Otherwise there is a circular reference and the engine is not destroyed until the end of the request. Change-Id: I9c98fe449c19d22e771e11d485e5516059c45329 |
||
---|---|---|
.. | ||
lualib | ||
LanguageLibrary.php | ||
LibraryBase.php | ||
LuaCommon.php | ||
LuaInterpreter.php | ||
SiteLibrary.php | ||
UriLibrary.php | ||
UstringLibrary.php |