Quickfix: $c['user'] was bool, should be User

I was too soon to merge https://gerrit.wikimedia.org/r/#/c/109927

Change-Id: I11ce51cba759c02afbcd68fd8a0eecc6dcfed601