mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto
synced 2024-12-12 16:35:10 +00:00
7ec0ebfb2a
Makes it consistent with other entries Bug: T263592 Change-Id: Icc303455feab27966480854ea1c055ceab864ee0 |
||
---|---|---|
.. | ||
LuaSandboxCallback.php | ||
LuaSandboxEngine.php | ||
LuaSandboxInterpreter.php |