A minimal mediawiki extension