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 /app/i18n/he/sub.php | |
| 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 'app/i18n/he/sub.php')
| -rw-r--r-- | app/i18n/he/sub.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/app/i18n/he/sub.php b/app/i18n/he/sub.php index 3bb576952..5984d5f6c 100644 --- a/app/i18n/he/sub.php +++ b/app/i18n/he/sub.php @@ -90,6 +90,8 @@ return array( 'title_add' => 'הוספת הזנה', 'ttl' => 'אין לרענן אוטומטית יותר מ', 'url' => 'הזנה URL', + 'useragent' => 'Set the user agent for fetching this feed', // TODO - Translation + 'useragent_help' => 'Example: <kbd>Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:86.0)</kbd>', // TODO - Translation 'validator' => 'בדיקות תקינות ההזנה', 'website' => 'אתר URL', 'websub' => 'Instant notification with WebSub', // TODO - Translation |