Merge pull request #1731 from ArthurHoaro/fix/search-highlight-table

Search highlight: do not use special characters for tokens
This commit is contained in:
ArthurHoaro 2021-04-05 11:10:43 +02:00 committed by GitHub
commit af764dfd4e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -12,8 +12,8 @@
*/ */
class BookmarkDefaultFormatter extends BookmarkFormatter class BookmarkDefaultFormatter extends BookmarkFormatter
{ {
public const SEARCH_HIGHLIGHT_OPEN = '||O_HIGHLIGHT'; public const SEARCH_HIGHLIGHT_OPEN = 'SHAARLI_O_HIGHLIGHT';
public const SEARCH_HIGHLIGHT_CLOSE = '||C_HIGHLIGHT'; public const SEARCH_HIGHLIGHT_CLOSE = 'SHAARLI_C_HIGHLIGHT';
/** /**
* @inheritdoc * @inheritdoc