Skip to content

Commit 4268623

Browse files
committed
Resolve the "Property is never assigned null so it can be removed from the property type" error detected by PHPStan
1 parent 2c10106 commit 4268623

File tree

1 file changed

+8
-8
lines changed

1 file changed

+8
-8
lines changed

src/Supporting/CommunicationProvider.php

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -22,10 +22,10 @@ class CommunicationProvider
2222
*/
2323
public int $vNum = -1;
2424
/**
25-
* @var null|string
25+
* @var string
2626
* @ignore
2727
*/
28-
private string|null $host = "127.0.0.1";
28+
private string $host = "127.0.0.1";
2929
/**
3030
* @var string
3131
* @ignore
@@ -37,20 +37,20 @@ class CommunicationProvider
3737
*/
3838
private string $password;
3939
/**
40-
* @var string|null
40+
* @var string
4141
* @ignore
4242
*/
43-
private string|null $solution;
43+
private string $solution;
4444
/**
45-
* @var null|string
45+
* @var string
4646
* @ignore
4747
*/
48-
private string|null $protocol = 'https';
48+
private string $protocol = 'https';
4949
/**
50-
* @var int|null
50+
* @var int
5151
* @ignore
5252
*/
53-
private int|null $port = 443;
53+
private int $port = 443;
5454

5555
/**
5656
* @var string|null

0 commit comments

Comments
 (0)