added mediawiki/extensions/PdfHandler to .mrconfig