aboutsummaryrefslogtreecommitdiff
path: root/app
diff options
context:
space:
mode:
authorGravatar Alexandre Alapetite <alexandre@alapetite.fr> 2024-09-06 08:51:51 +0200
committerGravatar GitHub <noreply@github.com> 2024-09-06 08:51:51 +0200
commit4f29b715efee506a1204d2a62548071486fb3410 (patch)
tree2c7091e49a0eced0e9048285e8110d7cdb247fbc /app
parenta6138225ea7863471ec66e3f51ab3192ac8a1112 (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.php4
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 [];
}