original_string: public static function addCssClass(&$options, $class)
      {
          if (isset($options['class'])) {
              $classes = ' ' . $options['class'] . ' ';
              if (($pos = strpos($classes, ' ' . $class . ' ')) === false) {
                  $options['class'] .= ' ' . $class;
              }
          } else {
              $options['class'] = $class;
          }
      }
code: public static function addCssClass(&$options, $class)
      {
          if (isset($options['class'])) {
              $classes = ' ' . $options['class'] . ' ';
              if (($pos = strpos($classes, ' ' . $class . ' ')) === false) {
                  $options['class'] .= ' ' . $class;
              }
          } else {
              $options['class'] = $class;
          }
      }
code_tokens: public static function addCssClass ( & $ options , $ class ) { if ( isset ( $ options [ 'class' ] ) ) { $ classes = ' ' . $ options [ 'class' ] . ' ' ; if ( ( $ pos = strpos ( $ classes , ' ' . $ class . ' ' ) ) === false ) { $ options [ 'class' ] .= ' ' . $ class ; } } else { $ options [ 'class' ] = $ class ; } }
docstring: Adds a CSS class to the specified options.
  If the CSS class is already in the options, it will not be added again.
  @param array $options the options to be modified.
  @param string $class the CSS class to be added
docstring_tokens: Adds a CSS class to the specified options . If the CSS class is already in the options it will not be added again .