$wgPGFTikZDefaultDPI