Hi,
Please post the patch to some relevant bug on Bugzilla [...] and post here saying which bug you've put the patch on.
Done! https://bugzilla.wikimedia.org/show_bug.cgi?id=15484
$wgRedirectMustLogin = false; $wgRedirectLoggedIn = false;
Unless anyone can come up with a use case where these would be handy, I'd say they should both be removed, and the features always enabled.
Actually, those are mostly useful for Wikis that are completely private. For public Wikis the need to log in to do something is more uncommon, and I believe in those cases the page saying you have to log in is kind of useful... I think I would rather keep the default setting of keeping the pages and giving the admin the option to change the behaviour.
What I think would actually be useful would be mentioning this on this page: http://www.mediawiki.org/wiki/Manual:Preventing_access
This page instructs on how to configure a private Wiki, and these login redirects are particularly useful in those cases. I think we could add a "1.14 upwards" session under "Simple private wiki" with that information, including setting those variables.
Thanks a lot! Filipe