A lightweight chat extension for MediaWiki