$wgGoogleAdSenseHeight