protected function extractFileLine($trace)
{
while (count($trace) && !array_key_exists('file', $trace[0])) {
array_shift($trace);
}
$thisFile = $trace[0]['file'];
while (count($trace) && (array_key_exists('file', $trace[0]) && $trace[0]['file'] == $thisFile)) {
array_shift($trace);
}
while (count($trace) && !array_key_exists('file', $trace[0])) {
array_shift($trace);
}
if (count($trace) == 0) {
return ["?", "0"];
}
$file = $trace[0]['file'];
$line = $trace[0]['line'];
return [$file, $line];
}