HomePhabricator

Add reference to the current user to the PageRenderingHash hook

Description

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

Details

Provenance
PhysikerweltAuthored on
KrinkleCommitted on Jan 6 2014, 3:04 PM
Parents
rMW1e5e4d91e2f6: Make message key optional
Branches
Unknown
Tags
Unknown
ChangeId
I32a1df52912292230852c31d69968eeb312a4a97