FiveFilters.org 384d52fd83 Fix PHP 7.2/7.3 incompatibilites		2019-04-05 00:07:05 +02:00
..
CookieJar.php	Cookie handling only on redirect (Dave's patch)	2015-06-14 02:28:37 +02:00
HumbleHttpAgent.php	Fix PHP 7.2/7.3 incompatibilites	2019-04-05 00:07:05 +02:00
HumbleHttpAgentDummy.php	Fix PHP 7.2/7.3 incompatibilites	2019-04-05 00:07:05 +02:00
RollingCurl.php	Full-Text RSS 2.9.5	2013-04-18 16:11:06 +02:00
SimplePie_HumbleHttpAgent.php	Full-Text RSS 3.2	2014-05-15 23:03:31 +02:00