wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2025-01-05 19:34:26 +00:00
Code Issues Packages Projects Releases Wiki Activity
6715 commits 12 branches 19 tags 80 MiB
Commit graph

2 commits

Author SHA1 Message Date
thiemowmde cfa424f16b Make use of the ?? and ??= operators where it makes sense 
?? is an older PHP 7.0 feature.
??= was added in PHP 7.4, which we can finally use.

Change-Id: If4145c48eb374aa8e5deeb38aecb27c6c8905382
 2022-11-09 14:40:52 +01:00
Reedy c85fe25fe7 Namespace Mapper 
Change-Id: I8a02082466ef39db32ffa7562b02db61929346cd
 2022-11-04 18:05:34 +00:00
Renamed from includes/mapper/AbstractMapper.php (Browse further)