original_string: protected function getUsedPrivileges()
      {
          if (! $this->usedPrivileges) {
              $privileges = $this->menu->getUsedPrivileges();
  
              asort($privileges);
              //don't allow to edit the pr.nologin and pr.islogin privilege
              unset($privileges['pr.nologin']);
              unset($privileges['pr.islogin']);
  
              $this->usedPrivileges = $privileges;
          }
  
          return $this->usedPrivileges;
      }
code: protected function getUsedPrivileges()
      {
          if (! $this->usedPrivileges) {
              $privileges = $this->menu->getUsedPrivileges();
  
              asort($privileges);
              //don't allow to edit the pr.nologin and pr.islogin privilege
              unset($privileges['pr.nologin']);
              unset($privileges['pr.islogin']);
  
              $this->usedPrivileges = $privileges;
          }
  
          return $this->usedPrivileges;
      }
code_tokens: protected function getUsedPrivileges ( ) { if ( ! $ this -> usedPrivileges ) { $ privileges = $ this -> menu -> getUsedPrivileges ( ) ; asort ( $ privileges ) ; //don't allow to edit the pr.nologin and pr.islogin privilege unset ( $ privileges [ 'pr.nologin' ] ) ; unset ( $ privileges [ 'pr.islogin' ] ) ; $ this -> usedPrivileges = $ privileges ; } return $ this -> usedPrivileges ; }
docstring: Get the privileges a role can have.
  
  @return array
docstring_tokens: Get the privileges a role can have .