ArthurHoaro c6d876bb2a Set updated date for items in feeds ... RSS doesn't support updated date for items, so we use the ATOM extension. Updated dates also bump the global update		2016-08-03 09:54:57 +02:00
..
config	Add closing PHP tags to JSON config files	2016-06-20 18:30:37 +02:00
ReferenceLinkDB.php	Set updated date for items in feeds	2016-08-03 09:54:57 +02:00
ReferenceSessionIdHashes.php	Session ID: extend the regex to match possible hash representations	2015-09-06 16:14:24 +02:00