From f365a9aeb44c33a1c817ae19a6027aa0fbffd706 Mon Sep 17 00:00:00 2001 From: Alexandre Alapetite Date: Sun, 19 Jun 2022 20:08:42 +0200 Subject: 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 --- docs/en/users/05_Configuration.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs') 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 -- cgit v1.2.3