UserGuide: RSS plugin

RSS plugin generates RSS feed of page changes.

Everytime user changes page, change (diff, to be exact) is added to RSS file ("rss.xml").

Configuration(Edit)

$max_changes specifies maximum number of changes in feed.
$short_diff - if set true, feed contains only changed lines and omit unchanged lines.