Please post the patch to some relevant bug on Bugzilla
and post here saying which bug you've put the patch on.
$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:
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
Thanks a lot!