fix: Phan Plugin for PHP 5.6

This commit is contained in:
Fred Delrieu 2018-04-25 07:58:02 +02:00 committed by GitHub
parent 8f8c1e00af
commit 8ace897b8c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -140,9 +140,9 @@ class Phan extends Plugin
'phan', 'phan',
$data['check_name']."\n\n".$data['description'], $data['check_name']."\n\n".$data['description'],
$this->severity($data['severity']), $this->severity($data['severity']),
$data['location']['path'] ?? '??', isset($data['location']['path']) ? $data['location']['path'] : '??',
$data['location']['lines']['begin'] ?? 0, isset($data['location']['lines']['begin']) ? $data['location']['lines']['begin'] : '??',
$data['location']['lines']['end'] ?? 0 isset($data['location']['lines']['end']) ? $data['location']['lines']['end'] : '??'
); );
$warnings++; $warnings++;