wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-12-04 12:48:11 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Scribunto/includes/Engines/LuaSandbox
History
Umherirrender 68aebf853c Use namespaced classes 
This requires 1.42 for some new names

Done automatically via script

Change-Id: I6f6899981eab571cabb57534d7d98ce546a30a75
2024-01-05 19:24:06 +01:00
..
LuaSandboxCallback.php Capitalise Engines folder 2022-09-30 00:58:27 +00:00
LuaSandboxEngine.php Use namespaced classes 2024-01-05 19:24:06 +01:00
LuaSandboxInterpreter.php Use ::class for class name resolution 2023-09-21 22:46:00 +02:00