Mediawiki extension to embed PDF files into articles.