original_string: protected static function get_core_search_area_categories() {
          $categories = [];
  
          $categories[self::SEARCH_AREA_CATEGORY_ALL] = new area_category(
              self::SEARCH_AREA_CATEGORY_ALL,
              get_string('core-all', 'search'),
              0,
              self::get_search_areas_list(true)
          );
  
          $categories[self::SEARCH_AREA_CATEGORY_COURSE_CONTENT] = new area_category(
              self::SEARCH_AREA_CATEGORY_COURSE_CONTENT,
              get_string('core-course-content', 'search'),
              1
          );
  
          $categories[self::SEARCH_AREA_CATEGORY_COURSES] = new area_category(
              self::SEARCH_AREA_CATEGORY_COURSES,
              get_string('core-courses', 'search'),
              2
          );
  
          $categories[self::SEARCH_AREA_CATEGORY_USERS] = new area_category(
              self::SEARCH_AREA_CATEGORY_USERS,
              get_string('core-users', 'search'),
              3
          );
  
          $categories[self::SEARCH_AREA_CATEGORY_OTHER] = new area_category(
              self::SEARCH_AREA_CATEGORY_OTHER,
              get_string('core-other', 'search'),
              4
          );
  
          return $categories;
      }
code: protected static function get_core_search_area_categories() {
          $categories = [];
  
          $categories[self::SEARCH_AREA_CATEGORY_ALL] = new area_category(
              self::SEARCH_AREA_CATEGORY_ALL,
              get_string('core-all', 'search'),
              0,
              self::get_search_areas_list(true)
          );
  
          $categories[self::SEARCH_AREA_CATEGORY_COURSE_CONTENT] = new area_category(
              self::SEARCH_AREA_CATEGORY_COURSE_CONTENT,
              get_string('core-course-content', 'search'),
              1
          );
  
          $categories[self::SEARCH_AREA_CATEGORY_COURSES] = new area_category(
              self::SEARCH_AREA_CATEGORY_COURSES,
              get_string('core-courses', 'search'),
              2
          );
  
          $categories[self::SEARCH_AREA_CATEGORY_USERS] = new area_category(
              self::SEARCH_AREA_CATEGORY_USERS,
              get_string('core-users', 'search'),
              3
          );
  
          $categories[self::SEARCH_AREA_CATEGORY_OTHER] = new area_category(
              self::SEARCH_AREA_CATEGORY_OTHER,
              get_string('core-other', 'search'),
              4
          );
  
          return $categories;
      }
code_tokens: protected static function get_core_search_area_categories ( ) { $ categories = [ ] ; $ categories [ self :: SEARCH_AREA_CATEGORY_ALL ] = new area_category ( self :: SEARCH_AREA_CATEGORY_ALL , get_string ( 'core-all' , 'search' ) , 0 , self :: get_search_areas_list ( true ) ) ; $ categories [ self :: SEARCH_AREA_CATEGORY_COURSE_CONTENT ] = new area_category ( self :: SEARCH_AREA_CATEGORY_COURSE_CONTENT , get_string ( 'core-course-content' , 'search' ) , 1 ) ; $ categories [ self :: SEARCH_AREA_CATEGORY_COURSES ] = new area_category ( self :: SEARCH_AREA_CATEGORY_COURSES , get_string ( 'core-courses' , 'search' ) , 2 ) ; $ categories [ self :: SEARCH_AREA_CATEGORY_USERS ] = new area_category ( self :: SEARCH_AREA_CATEGORY_USERS , get_string ( 'core-users' , 'search' ) , 3 ) ; $ categories [ self :: SEARCH_AREA_CATEGORY_OTHER ] = new area_category ( self :: SEARCH_AREA_CATEGORY_OTHER , get_string ( 'core-other' , 'search' ) , 4 ) ; return $ categories ; }
docstring: Get list of core search area categories.
  
  @return \core_search\area_category[]
docstring_tokens: Get list of core search area categories .