Skip to content

Commit 6300107

Browse files
committed
Ignore errors/warnings which are ignored
1 parent 4fd52f7 commit 6300107

File tree

1 file changed

+5
-0
lines changed

1 file changed

+5
-0
lines changed

src/Files/File.php

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -994,6 +994,11 @@ protected function addMessage($error, $message, $line, $column, $code, $data, $s
994994
return false;
995995
}
996996

997+
if ($severity === 0) {
998+
// Do not remember / record any messages which will be hidden always.
999+
return false;
1000+
}
1001+
9971002
// Make sure we are not ignoring this file.
9981003
$included = null;
9991004
if (trim($this->path, '\'"') === 'STDIN') {

0 commit comments

Comments
 (0)