mediawiki-extensions-Discus.../includes/Notifications
Bartosz Dziewoński 5c9389db15 Replace unneeded isset() with !== null
The PHP `global` statement actually creates a global variable if it
does not exist yet, setting it to null. Who'd have thunk.

This is reported as a new issue type 'MediaWikiNoIssetIfDefined' by
mediawiki/mediawiki-phan-config to 0.15.0.

Change-Id: Ia1c3a08f399257ede41920beafa9f1864206c94e
2024-12-16 16:41:02 +01:00
..
AddedTopicPresentationModel.php
CommentThanksPresentationModel.php
DiscussionToolsEventTrait.php
EnhancedEchoEditUserTalkPresentationModel.php
EnhancedEchoMentionPresentationModel.php
EventDispatcher.php Replace unneeded isset() with !== null 2024-12-16 16:41:02 +01:00
PlaintextEchoPresentationModelSection.php Handle hidden revision in more places 2024-11-02 22:15:34 +01:00
RemovedTopicPresentationModel.php
SubscribedNewCommentPresentationModel.php Fix mistakes in inline @var comments 2024-11-20 08:11:59 +01:00