public function ensureLoggedIn($user, $prefix = '') { if ($user === null) { throw new AuthorizationException($prefix . 'require_login'); } }