Extension for printing customizable anchor links in MediaWiki