erhielt später den Namen MediaWiki.