mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto
synced 2024-11-24 00:05:00 +00:00
58d722bcdf
If it somehow gets in there (e.g. via a crafty __pairs), let it through. Change-Id: I9f79dbb1a09cd62b2a8f4b6beb84a3e2f1c85560 |
||
---|---|---|
.. | ||
LuaCommon | ||
LuaSandbox | ||
LuaStandalone |