gdorn/FreshRSS-Extensions
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 1

New extension WordHighlighter - for highlighting words. (#238)

Browse source 
* init commit for new extension WordHighlighter - for highlighting words.

* use `json` for storing configuration, add more configuration options (enable_in_article, enable_logs, case_sensitive, separate_word_search)  and refactored & simplified code

* fix: try to fix test errors

* fix: try to fix tests

* fix unnecessary casting to string

* fix: try to fix PHPStan errors, mostly: Cannot access offset '...' on mixed. And add missing types.

* fix: try to fix "Cannot access offset '...' on mixed."

* fix typo in comment

* refactor: remove $lineSeparator and replace `explode` with `preg_split`

* i18n: fr

---------

Co-authored-by: Lukáš Melega <lukas.00.9m@gmail.com>
Co-authored-by: Alexandre Alapetite <alexandre@alapetite.fr>
This commit is contained in:
Lukáš Melega 2024-08-01 20:42:41 +02:00 • committed by GitHub
parent f845a6d085
commit 31bbdb55be
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
15 changed files with 1053 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

13
xExtension-WordHighlighter/static/mark.min.js vendored Normal file
View file

File diff suppressed because one or more lines are too long