wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-11-24 08:14:09 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Scribunto/common
History
Siebrand Mazeland 42c0c55225 Replace deprecated methods. 
Change-Id: Ifab19bbc6f75148c8dcee758e09149280e2b229b
2012-10-07 02:59:30 +02:00
..
ApiScribuntoConsole.php Replace deprecated methods. 2012-10-07 02:59:30 +02:00
Base.php LuaSandbox profiler support 2012-09-06 01:00:20 +00:00
Common.php Replace deprecated methods. 2012-10-07 02:59:30 +02:00
Hooks.php Replace deprecated methods. 2012-10-07 02:59:30 +02:00