No linter errors are raised for the following code:
<?php echo $x;
No linter errors are raised for the following code:
<?php echo $x;
In the general case, there are approximately one hundred trillion PHP files out there which do this:
<?php include 'lib.php'; echo $g_coolGlobal;
...so we should consider require/include to be scope poison (i.e., make following scope unknowable) if we don't already.