mediawiki.org > wiki > Manual:$wgDisableHardRedirects
Open archived page
Open live