Wikimedia Bugzilla is closed!

When the global variable $wgFixDoubleRedirects was invented, the belonging system message [[MediaWiki:Movepagetext]] was changed to reflect this. However, it was set to "false" by default later, leaving a possibly misleading system message. I'd thus propose to show different messages depending on if this variable is set to true or false in LocalSettings.php.

I've created a patch that I'm pretty sure would work. There, when the message is added, it makes a simple ternary operator check if $wgFixDoubleRedirects is true or false. If so, it uses a newly created system message that shows this text, otherwise it uses the old "Movepagetext" where I've removed the bits about automatically updating. I didn't change the wording, so that's stuff that may still be improved, and I also left out the /qqq for the moment until I know if it's ok like that.