We could not synchronize checks via GitHub's checks API since Scrutinizer's GitHub App is not installed for this repository.
@@ -365,8 +365,8 @@ |
||
| 365 | 365 | $searchResult['snippet'] = $doc['snippet']; |
| 366 | 366 | $searchResult['highlight'] = $doc['highlight']; |
| 367 | 367 | $searchResult['highlight_word'] = preg_replace('/^;|;$/', '', // remove ; at beginning or end |
| 368 | - preg_replace('/;+/', ';', // replace any multiple of ; with a single ; |
|
| 369 | - preg_replace('/[{~\d*}{\s+}{^=*\d+.*\d*}`~!@#$%\^&*()_|+-=?;:\'",.<>\{\}\[\]\\\]/', ';', $this->searchParams['query']))); // replace search operators and special characters with ; |
|
| 368 | + preg_replace('/;+/', ';', // replace any multiple of ; with a single ; |
|
| 369 | + preg_replace('/[{~\d*}{\s+}{^=*\d+.*\d*}`~!@#$%\^&*()_|+-=?;:\'",.<>\{\}\[\]\\\]/', ';', $this->searchParams['query']))); // replace search operators and special characters with ; |
|
| 370 | 370 | } |
| 371 | 371 | $documents[$doc['uid']]['searchResults'][] = $searchResult; |
| 372 | 372 | } |