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

3 commits

Author SHA1 Message Date
Reedy 033c69cfab ScribuntoException: Use value property not dynamic property 
Bug: T330524
Change-Id: I69a102497fffb939c849d2836302068ac9eff3d0
 2023-02-25 00:57:56 +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 8e73003fee Start namespacing extension 
Change-Id: Ib632434861c2df03dfcddbd195f556c937812196
 2022-05-12 01:33:11 +00:00
Renamed from includes/common/ScribuntoException.php (Browse further)