original_string: protected function format_filter_option($filtertype, $criteria, $value, $label) {
          $optionlabel = get_string('filteroption', 'moodle', (object)['criteria' => $criteria, 'value' => $label]);
          $optionvalue = "$filtertype:$value";
          return [$optionvalue => $optionlabel];
      }
code: protected function format_filter_option($filtertype, $criteria, $value, $label) {
          $optionlabel = get_string('filteroption', 'moodle', (object)['criteria' => $criteria, 'value' => $label]);
          $optionvalue = "$filtertype:$value";
          return [$optionvalue => $optionlabel];
      }
code_tokens: protected function format_filter_option ( $ filtertype , $ criteria , $ value , $ label ) { $ optionlabel = get_string ( 'filteroption' , 'moodle' , ( object ) [ 'criteria' => $ criteria , 'value' => $ label ] ) ; $ optionvalue = "$filtertype:$value" ; return [ $ optionvalue => $ optionlabel ] ; }
docstring: Returns a formatted filter option.
  
  @param int $filtertype The filter type (e.g. status, role, group, enrolment, last access).
  @param string $criteria The string label of the filter type.
  @param int $value The value for the filter option.
  @param string $label The string representation of the filter option's value.
  @return array The formatted option with the ['filtertype:value' => 'criteria: label'] format.
docstring_tokens: Returns a formatted filter option .