wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-12-01 03:16:14 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Scribunto/includes/engines/LuaSandbox
History
libraryupgrader 14046a6414 build: Updating mediawiki/mediawiki-phan-config to 0.10.4 
Additionally, unbreak master build after core change T10327.

Change-Id: I8fb240c9b8291d907b857f17d6f4960a24de2ef7
2020-11-20 17:01:25 +00:00
..
LuaSandboxCallback.php Document a lot of methods 2020-01-17 23:03:03 +00:00
LuaSandboxEngine.php build: Updating mediawiki/mediawiki-phan-config to 0.10.4 2020-11-20 17:01:25 +00:00
LuaSandboxInterpreter.php Fix PSR12.Properties.ConstantVisibility.NotFound 2020-05-30 01:32:16 +01:00