A lightweight chat extension for mediawiki