Well, logging out is an action, where people don't want to have any of their their...
authorDomas Mituzas <midom@users.mediawiki.org>
Sat, 12 Jan 2008 23:10:08 +0000 (23:10 +0000)
committerDomas Mituzas <midom@users.mediawiki.org>
Sat, 12 Jan 2008 23:10:08 +0000 (23:10 +0000)
commit990d7679ed7db8a6de0a98d4251a4dc27f98b156
treed058edb4fd29f0cbe3e49d173bf3faace439b8ac
parent01ccf55545c5393413d27eb27317de49da2f5c06
Well, logging out is an action, where people don't want to have any of their their credentials still sit in browser.
Actually, keeping a session is still bad. And trying to ensure that they don't see cached content... Well, thats wrong idea.
See, if someone is logged out, he is anonymous and deserves to see cached content as everyone else.

So, let's destroy all cookies.
includes/User.php