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