MediaWiki extension powering the editing of games on http://spiele.j-crew.de/