wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-12-11 16:06:02 +00:00
Code Issues Packages Projects Releases Wiki Activity
1827 commits 14 branches 20 tags 30 MiB
Commit graph

2 commits

Author SHA1 Message Date
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
Renamed from includes/engines/LuaCommon/UstringLibrary.php (Browse further)