logmanoriginal 7961f8081e [HtmlFormat] Revert use of filter_input to $_SERVER ...

https://bugs.php.net/bug.php?id=49184
indicates a verified (not solved) bug where filter_input returns
NULL when used with INPUT_SERVER

2016-08-23 19:46:41 +02:00

..

AtomFormat.php

…

HtmlFormat.php

[HtmlFormat] Revert use of filter_input to $_SERVER

2016-08-23 19:46:41 +02:00

JsonFormat.php

…

MrssFormat.php

…

PlaintextFormat.php

…