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/Controllers/entryController.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/Controllers/entryController.php')
0 files changed, 0 insertions, 0 deletions