mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-11-15 12:00:51 +00:00
3aadcace2b
Only needed for phan, under php8.1 this internal function is deprecated about null. The property $subscriptionName is not null when $subscriptionTitle is not null and current code is safe, but phan cannot see the dependency between both properties Change-Id: I9e67309ec25a70c5de91d7f3e8f18447f205a4e4 |
||
---|---|---|
.. | ||
SubscribeAction.php | ||
UnsubscribeAction.php |