mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto
synced 2024-11-24 16:25:00 +00:00
11cf41c74c
This makes it easier for people to use luasandbox and brings it in line with how we currently take advantage of other PHP extensions if they're available (e.g. wikidiff2). People can still explicitly use luastandalone if they want to. Bug: T128144 Change-Id: I585019be4dfeb0e2614d91dc3fb7eac0a3bd4bab |
||
---|---|---|
.. | ||
ApiScribuntoConsole.php | ||
Base.php | ||
Common.php | ||
Hooks.php | ||
ScribuntoContent.php | ||
ScribuntoContentHandler.php |