2020-03-19 17:32:49 +01:00
|
|
|
# PossiblyUndefinedVariable
|
|
|
|
|
|
|
|
Emitted when trying to access a variable in function scope that may not be defined
|
|
|
|
|
|
|
|
```php
|
2020-03-21 00:13:46 +01:00
|
|
|
<?php
|
|
|
|
|
2020-03-19 17:32:49 +01:00
|
|
|
function foo() : void {
|
|
|
|
if (rand(0, 1)) {
|
|
|
|
$a = 5;
|
|
|
|
}
|
|
|
|
echo $a;
|
|
|
|
}
|
|
|
|
```
|