mirror of
https://github.com/RSS-Bridge/rss-bridge.git
synced 2025-01-18 06:38:19 +01:00
7961f8081e
https://bugs.php.net/bug.php?id=49184 indicates a verified (not solved) bug where filter_input returns NULL when used with INPUT_SERVER