original_string: public static function setHTMLHeader($header)
      {
          phpCAS::_validateClientExists();
  
          try {
              self::$_PHPCAS_CLIENT->setHTMLHeader($header);
          } catch (Exception $e) {
              phpCAS :: error(get_class($e) . ': ' . $e->getMessage());
          }
      }
code: public static function setHTMLHeader($header)
      {
          phpCAS::_validateClientExists();
  
          try {
              self::$_PHPCAS_CLIENT->setHTMLHeader($header);
          } catch (Exception $e) {
              phpCAS :: error(get_class($e) . ': ' . $e->getMessage());
          }
      }
code_tokens: public static function setHTMLHeader ( $ header ) { phpCAS :: _validateClientExists ( ) ; try { self :: $ _PHPCAS_CLIENT -> setHTMLHeader ( $ header ) ; } catch ( Exception $ e ) { phpCAS :: error ( get_class ( $ e ) . ': ' . $ e -> getMessage ( ) ) ; } }
docstring: This method sets the HTML header used for all outputs.
  
  @param string $header the HTML header.
  
  @return void
docstring_tokens: This method sets the HTML header used for all outputs .