wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-12-25 06:13:08 +00:00
Code Issues Packages Projects Releases Wiki Activity
2078 commits 15 branches 20 tags 31 MiB
Commit graph

53 commits

Author SHA1 Message Date
Reedy 13e82702ab Add global alias for Scribunto_LuaEngine 
Change-Id: I8a53a0583f25b397fec25ba77c8a061426c8a641
 2022-09-30 02:07:29 +00:00
Thiemo Kreuz 912324993f Apply some minor PHP code modernizations 
* Make use of the ?? syntax.
* Use an upstream function.
* Fix an incomplete type hint.

Change-Id: I7b1916418f4b1e65cc8396cfd646224f55c137a4
 2022-09-29 21:45:09 -04:00
Reedy 1eecdac6de Capitalise Engines folder 
Change-Id: I6d730d67decc859fd130fee5ec92b1cfb8d9ef64
 2022-09-30 00:58:27 +00:00