public function is_empty() { global $USER; return parent::is_empty() || !isset($USER->auth) || $USER->auth != 'shibboleth'; }