Updated mediawiki/extensions
Project: mediawiki/extensions/Flow  4b967ef1cfe2f99f464df7d445f437c9c3113208

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

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

Change-Id: I11ce51cba759c02afbcd68fd8a0eecc6dcfed601