Undefined index: line … in Scanner

[franz-josef-kaiser]

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.