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