mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto
synced 2024-11-30 02:54:26 +00:00
58d722bcdf
If it somehow gets in there (e.g. via a crafty __pairs), let it through. Change-Id: I9f79dbb1a09cd62b2a8f4b6beb84a3e2f1c85560 |
||
---|---|---|
.. | ||
lualib | ||
HtmlLibrary.php | ||
LanguageLibrary.php | ||
LibraryBase.php | ||
LuaCommon.php | ||
LuaInterpreter.php | ||
MessageLibrary.php | ||
SiteLibrary.php | ||
TextLibrary.php | ||
TitleLibrary.php | ||
UriLibrary.php | ||
UstringLibrary.php |