diff options
| author |  Jules-Bertholet <jules.bertholet@gmail.com>
| 2021-03-09 14:51:09 -0500 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2021-03-09 20:51:09 +0100 |
| commit | 800a42172db1775aaa76f50446ed914ee0b5a80b (patch) | |
| tree | 630a0cd33480909ce6f3954a24a2c18c6f343238 /cli | |
| parent | 09b7e87532d030f6a1203a4f0fe5a9746bae694c (diff) | |
Add an option to set a custom user agent to retrieve individual feeds (#3494)
* Add an option to set a custom user agent to retrieve individual feeds
This allows retrieving the original RSS feed when websites use services like FeedBurner.
* Use !== instead of != in subscriptionController.php
* Add proxy and user-agent to subscription/add
Co-authored-by: Georgelemental <georgelemental@gmail.com>
Co-authored-by: Alexandre Alapetite <alexandre@alapetite.fr>
Diffstat (limited to 'cli')
| -rw-r--r-- | cli/i18n/ignore/en-us.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/cli/i18n/ignore/en-us.php b/cli/i18n/ignore/en-us.php index e81a79e81..7529d7d2d 100644 --- a/cli/i18n/ignore/en-us.php +++ b/cli/i18n/ignore/en-us.php @@ -756,6 +756,8 @@ return array( 'sub.feed.title_add', 'sub.feed.ttl', 'sub.feed.url', + 'sub.feed.useragent', + 'sub.feed.useragent_help', 'sub.feed.validator', 'sub.feed.website', 'sub.feed.websub', |