diff --git a/dev/tools/apstats.php b/dev/tools/apstats.php index 8c52fca2539..bffb8b6cdee 100755 --- a/dev/tools/apstats.php +++ b/dev/tools/apstats.php @@ -700,12 +700,13 @@ if (count($output_phan_json) != 0) { } else { $tmp = ''; } - $tmp .= "$path"; + $tmp .= ''.$path.''; $tmp .= ''; - $tmp .= "{$line_range_txt}"; + $tmp .= ''.$line_range_txt.''; $tmp .= ''; - $tmp .= "$description"; + $tmp .= ''.$description.''; $tmp .= ''; + $phan_items[] = $tmp; $phan_nblines++; }