$wgPdfOutputExtension