Reworked, renovated version of an older MediaWiki extension to support Java applets