$row['id'], 'paste_raw' => '...'.str_ireplace($searchString, ''.$searchString.'', $short_result).'...', 'score' => round($row['score'],2) ); array_push ( $output, $row_array); } return $output; } } ?>