Umherirrender 3c55ed3511 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: I8fc8fbf220a08c300ae0119e548a691865151ae5		2024-10-26 22:53:52 +02:00
..
PdfHandler.php	Replace isset() with null check	2024-10-26 22:53:52 +02:00
PdfImage.php	Migrate MediaWiki.pdfhandler.shell.retrieve_meta_data.rate to statslib	2024-05-05 14:01:53 +00:00