original_string: protected function get_region_name($region, $theme) {
          $regionstring = get_string('region-' . $region, 'theme_' . $theme);
          // A name exists in this theme, so use it
          if (substr($regionstring, 0, 1) != '[') {
              return $regionstring;
          }
  
          // Otherwise, try to find one elsewhere
          // Check parents, if any
          foreach ($this->parents as $parentthemename) {
              $regionstring = get_string('region-' . $region, 'theme_' . $parentthemename);
              if (substr($regionstring, 0, 1) != '[') {
                  return $regionstring;
              }
          }
  
          // Last resort, try the boost theme for names
          return get_string('region-' . $region, 'theme_boost');
      }
code: protected function get_region_name($region, $theme) {
          $regionstring = get_string('region-' . $region, 'theme_' . $theme);
          // A name exists in this theme, so use it
          if (substr($regionstring, 0, 1) != '[') {
              return $regionstring;
          }
  
          // Otherwise, try to find one elsewhere
          // Check parents, if any
          foreach ($this->parents as $parentthemename) {
              $regionstring = get_string('region-' . $region, 'theme_' . $parentthemename);
              if (substr($regionstring, 0, 1) != '[') {
                  return $regionstring;
              }
          }
  
          // Last resort, try the boost theme for names
          return get_string('region-' . $region, 'theme_boost');
      }
code_tokens: protected function get_region_name ( $ region , $ theme ) { $ regionstring = get_string ( 'region-' . $ region , 'theme_' . $ theme ) ; // A name exists in this theme, so use it if ( substr ( $ regionstring , 0 , 1 ) != '[' ) { return $ regionstring ; } // Otherwise, try to find one elsewhere // Check parents, if any foreach ( $ this -> parents as $ parentthemename ) { $ regionstring = get_string ( 'region-' . $ region , 'theme_' . $ parentthemename ) ; if ( substr ( $ regionstring , 0 , 1 ) != '[' ) { return $ regionstring ; } } // Last resort, try the boost theme for names return get_string ( 'region-' . $ region , 'theme_boost' ) ; }
docstring: Gets the visible name for the requested block region.
  
  @param string $region The region name to get
  @param string $theme The theme the region belongs to (may come from the parent theme)
  @return string
docstring_tokens: Gets the visible name for the requested block region .