https://bugzilla.wikimedia.org/show_bug.cgi?id=72044
--- Comment #19 from Tisza Gergő <gti...@wikimedia.org> --- I'm not convinced this is fixed. $wgPdfHandlerDpi has 150 as its default value (and that default has been added seven years ago), setting that again should have no effect, unless there is some deeper bug preventing the default from being set. Rob Kam, can you grep for anything setting $wgPdfHandlerDpi to a non-default value in your code or configuration files? -- You are receiving this mail because: You are the assignee for the bug. You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list Wikibugs-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
