`mixed`? What does this argument accepts besides a `phpbb_user` object?