MediaWiki:Gadget-NoAutoCaseRedirect.js

window.disableAutoRedirect = true;