Clear the cached edit count within User::clearInstanceCache
authorMarius Hoch <hoo@online.de>
Fri, 5 Oct 2012 16:52:57 +0000 (18:52 +0200)
committerMarius Hoch <hoo@online.de>
Fri, 5 Oct 2012 16:52:57 +0000 (18:52 +0200)
commit6ec9df30cdace9f71dbebfeadfcc0271407b5684
tree70d67fa353dd5b6ded1a22e047a91423de6a0fe2
parent82e6fc70a185dc975d22b0281469af780e163d10
Clear the cached edit count within User::clearInstanceCache

(After a question in r26457): Let User::clearInstanceCache
clear out the cached edit count as well, as a user session
can be open for a long time.

Change-Id: I4444f352e3b5df7b24f37668a5f1fbf9d64d6978
includes/User.php