diff options
| author |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2022-06-19 20:08:42 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2022-06-19 20:08:42 +0200 |
| commit | f365a9aeb44c33a1c817ae19a6027aa0fbffd706 (patch) | |
| tree | 6f93f55d5c71eda6672168a7f1250ad1d784c5ef /docs | |
| parent | 238e55b2fd7f08b5ce866b712c43c1a8fa03a657 (diff) | |
Update all test dependencies (#4419)
* Update all test dependencies
* Remove old false-positive
* Minor update lock files
* Increase PHPStan memory for Fedora
https://github.com/FreshRSS/FreshRSS/pull/4400#issuecomment-1159514197
* Require PHP8+ for tests
Due to small changes of signature in `ob_implicit_flush` and `simplexml_load_string`, cf. https://github.com/FreshRSS/FreshRSS/pull/4123
* Missing lint in CSS files
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/en/users/05_Configuration.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/en/users/05_Configuration.md b/docs/en/users/05_Configuration.md index 9352937ba..7658f78e9 100644 --- a/docs/en/users/05_Configuration.md +++ b/docs/en/users/05_Configuration.md @@ -50,7 +50,7 @@ If you disable every item in the top line, you’ll still be able to see it sinc it contains the feed name and the article title. But if you do the same thing for the bottom line, it will be empty. -## HTML5 notification timout +## HTML5 notification timeout After automatically updating the feeds, FreshRSS can pop up a notification using the HTML5 notification API. @@ -82,7 +82,7 @@ This will set images to load as they are viewed. This can save data, but will ca ## Archiving -These are the global options for fetching and retaining articles from feeds. They can be overwridden by individual feed’s settings. +These are the global options for fetching and retaining articles from feeds. They can be overridden by individual feed’s settings. ## Maintenance |