Add reference to the current user to the PageRenderingHash hook
authorphysikerwelt <wiki@physikerwelt.de>
Fri, 3 Jan 2014 17:05:24 +0000 (17:05 +0000)
committerKrinkle <krinklemail@gmail.com>
Mon, 6 Jan 2014 15:04:54 +0000 (15:04 +0000)
commitce2b03fb0b9315e1fa7a0f2dc2007521d1aaa572
treef751ee38ae781dbf7c33b78eb088bf184153b7b2
parent1e5e4d91e2f6e577e92f0ac18da3c83a9f5027ae
Add reference to the current user to the PageRenderingHash hook

To generate a user-dependent cache key it makes sense to pass
a reference to the user object, since $wgUser is deprecated.

Change-Id: I32a1df52912292230852c31d69968eeb312a4a97
docs/hooks.txt
includes/parser/ParserOptions.php