mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto
synced 2024-11-28 10:10:04 +00:00
04b207829e
This is a followup to I944938f9. I had kind of forgotten that we removed $wgServerName. Change-Id: I846cba6853f1a3a09f4e2d362960fea5f60bfcc3 |
||
---|---|---|
.. | ||
lualib | ||
LibraryBase.php | ||
LuaCommon.php | ||
LuaInterpreter.php | ||
SiteLibrary.php |