$wgPdftoText