Umherirrender 3f09c46cee Replace isset() with null check ... isset() should only be used to suppress errors, not for null check. When the variable is always defined, there is no need to use isset. Found by a new phan plugin (2efea9f989) https://www.mediawiki.org/wiki/Manual:Coding_conventions/PHP#isset Change-Id: I4d3ebaf7fd3fc9613decd74fd36cc98582519a7c		2024-10-27 13:17:13 +01:00
..
Hooks.php	Use namespaced classes	2024-10-20 11:32:26 +02:00
RSSData.php	Add missing documentation to class properties	2024-09-14 07:41:14 +00:00
RSSParser.php	Replace isset() with null check	2024-10-27 13:17:13 +01:00
Utils.php	Use namespaced classes	2024-01-05 21:23:30 +01:00