diff options
| author | 2024-09-06 08:51:51 +0200 | |
|---|---|---|
| committer | 2024-09-06 08:51:51 +0200 | |
| commit | 4f29b715efee506a1204d2a62548071486fb3410 (patch) | |
| tree | 2c7091e49a0eced0e9048285e8110d7cdb247fbc /app | |
| parent | a6138225ea7863471ec66e3f51ab3192ac8a1112 (diff) | |
Use curl to fetch extensions list (#6767)
fix https://github.com/FreshRSS/FreshRSS/issues/6744
Diffstat (limited to 'app')
| -rw-r--r-- | app/Controllers/extensionController.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/app/Controllers/extensionController.php b/app/Controllers/extensionController.php index 6a4d97bea..bf1f01c59 100644 --- a/app/Controllers/extensionController.php +++ b/app/Controllers/extensionController.php @@ -44,10 +44,10 @@ class FreshRSS_extension_Controller extends FreshRSS_ActionController { */ protected function getAvailableExtensionList(): array { $extensionListUrl = 'https://raw.githubusercontent.com/FreshRSS/Extensions/master/extensions.json'; - $json = @file_get_contents($extensionListUrl); + $json = httpGet($extensionListUrl, CACHE_PATH . '/extension_list.json', 'json'); // we ran into problems, simply ignore them - if ($json === false) { + if ($json === '') { Minz_Log::error('Could not fetch available extension from GitHub'); return []; } |
