wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-11-15 11:59:42 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Scribunto/includes/engines
History
Umherirrender 87e2d2ed18 Remove PHP 5.3 $this closure workaround 
Change-Id: I7f2b71823844e39339811ca4bee316b432b54adb
2021-05-15 02:03:24 +02:00
..
LuaCommon Remove PHP 5.3 $this closure workaround 2021-05-15 02:03:24 +02:00
LuaSandbox Add missing @var and improve documentation 2020-12-22 01:15:00 +00:00
LuaStandalone Add missing @var and improve documentation 2020-12-22 01:15:00 +00:00