When the file can not be accessed (broken symlink, etc.), there will be a warning.
PHP Warning: file(/home/user/project/some-file.php): failed to open stream: No such file or directory in /home/user/php7mar/classes/scanner.php on line 101
PHP Notice: Undefined index: line in /home/user/php7mar/mar.php on line 126
There should be a check for the actual and current value.
When the file can not be accessed (broken symlink, etc.), there will be a warning.
There should be a check for the actual and current value.