Search highlight: do not use special characters for tokens

It messes with Markdown syntax (tables in this case).

Fixes #1729
This commit is contained in:
ArthurHoaro 2021-04-05 09:15:25 +02:00
parent e1847ae5a7
commit b2a43bc861

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