I just upgraded the extensions I maintain

* RSS (render feeds on a wiki page) * WikiArticleFeeds (generate RSS feeds from Wiki pages) * EtherpadLite (you should know that) * AJAXPoll (a very simple and ultra-responsive poll I like very much...)

with that feature(*).

Please see the code changes (**), if you are interested.

It's easy once you know how.

(*) adding automatically pages which use the extension to a category with a meaningful name (**) https://www.mediawiki.org/wiki/Special:Code/MediaWiki/author/wikinaut