diff options
author | Umherirrender <umherirrender_de.wp@web.de> | 2024-12-19 18:33:17 +0100 |
---|---|---|
committer | Umherirrender <umherirrender_de.wp@web.de> | 2024-12-19 18:33:17 +0100 |
commit | 5d5a81a4b9bf3f3cb110d13abdd9cddfa9b2f462 (patch) | |
tree | d3becdf4def17bca61a0dcaceaac9ccae9ae18f7 /includes/objectcache | |
parent | 1471c51a0076854148fde8e4dcb37ff8feefecc7 (diff) | |
download | mediawikicore-5d5a81a4b9bf3f3cb110d13abdd9cddfa9b2f462.tar.gz mediawikicore-5d5a81a4b9bf3f3cb110d13abdd9cddfa9b2f462.zip |
Replace isset() with null checks
isset() should only be used to suppress errors, not for null check.
When the property 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: Ib84b7d71e8308a36409f30ecfd16e9de149e97b3
Diffstat (limited to 'includes/objectcache')
0 files changed, 0 insertions, 0 deletions