wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-12-12 00:16:12 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Scribunto/includes
History
Umherirrender 87e2d2ed18 Remove PHP 5.3 $this closure workaround 
Change-Id: I7f2b71823844e39339811ca4bee316b432b54adb
2021-05-15 02:03:24 +02:00
..
common Remove wrong return type from ScribuntoEngineBase::reportLimitData 2021-02-03 22:10:20 +01:00
engines Remove PHP 5.3 $this closure workaround 2021-05-15 02:03:24 +02:00