MediaWiki extension to support Java applets