A Mediawiki extension to export an article to LaTeX and compile it into a pdf file.