A MediaWiki extension to improve handling of all files, but particularly Office and PDF files