mirror of
https://github.com/FreshRSS/FreshRSS.git
synced 2026-07-27 23:37:11 -04:00
getenv() is the proper way, and $_SERVER was not working on some configurations. Improvement of https://github.com/FreshRSS/FreshRSS/pull/2213
1.9 KiB
1.9 KiB