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	[core] simplify dynamic formats discovery	2016-08-23 14:29:53 +02:00
HtmlFormat.php	[HtmlFormat] Revert use of filter_input to $_SERVER	2016-08-23 19:46:41 +02:00
JsonFormat.php	[core] simplify dynamic formats discovery	2016-08-23 14:29:53 +02:00
MrssFormat.php	[core] simplify dynamic formats discovery	2016-08-23 14:29:53 +02:00
PlaintextFormat.php	[core] simplify dynamic formats discovery	2016-08-23 14:29:53 +02:00