$wgTypeToDim