Script to add some extra links to MediaWiki interface