original_string: private static function select_option($label, $value, array $selected) {
          $attributes = array();
          $value = (string)$value;
          if (in_array($value, $selected, true)) {
              $attributes['selected'] = 'selected';
          }
          $attributes['value'] = $value;
          return self::tag('option', $label, $attributes);
      }
code: private static function select_option($label, $value, array $selected) {
          $attributes = array();
          $value = (string)$value;
          if (in_array($value, $selected, true)) {
              $attributes['selected'] = 'selected';
          }
          $attributes['value'] = $value;
          return self::tag('option', $label, $attributes);
      }
code_tokens: private static function select_option ( $ label , $ value , array $ selected ) { $ attributes = array ( ) ; $ value = ( string ) $ value ; if ( in_array ( $ value , $ selected , true ) ) { $ attributes [ 'selected' ] = 'selected' ; } $ attributes [ 'value' ] = $ value ; return self :: tag ( 'option' , $ label , $ attributes ) ; }
docstring: Returns HTML to display a select box option.
  
  @param string $label The label to display as the option.
  @param string|int $value The value the option represents
  @param array $selected An array of selected options
  @return string HTML fragment
docstring_tokens: Returns HTML to display a select box option .