Put global def for $wgDisableHardRedirects where it's used