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

fix unnecessary casting to string

Browse source
This commit is contained in:
Lukáš Melega 2024-05-22 22:59:32 +02:00
parent c05725eca4
commit e76ab5f51d
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
xExtension-WordHighlighter/extension.php
View file

@ -82,7 +82,7 @@ final class WordHighlighterExtension extends Minz_Extension
$this->enable_logs = (bool) $confJson['enable_logs'] ?: false; $this->enable_logs = (bool) $confJson['enable_logs'] ?: false;
$this->case_sensitive = (bool) $confJson['case_sensitive'] ?: false; $this->case_sensitive = (bool) $confJson['case_sensitive'] ?: false;
$this->separate_word_search = (bool) $confJson['separate_word_search'] ?: false; $this->separate_word_search = (bool) $confJson['separate_word_search'] ?: false;
$this->word_highlighter_conf = (string) implode("\n", (array) $confJson['words']); $this->word_highlighter_conf = implode("\n", (array) $confJson['words']);
} catch (Exception $exception) { } catch (Exception $exception) {
// probably nothing to do needed // probably nothing to do needed