original_string: public function get_children() {
          // If we should sort and it hasn't already been sorted.
          if ($this->sort && !$this->sorted) {
              if ($this->sortsplit) {
                  $categories = array();
                  $pages = array();
                  foreach ($this->children as $child) {
                      if ($child instanceof admin_category) {
                          $categories[] = $child;
                      } else {
                          $pages[] = $child;
                      }
                  }
                  core_collator::asort_objects_by_property($categories, 'visiblename');
                  core_collator::asort_objects_by_property($pages, 'visiblename');
                  if (!$this->sortasc) {
                      $categories = array_reverse($categories);
                      $pages = array_reverse($pages);
                  }
                  $this->children = array_merge($pages, $categories);
              } else {
                  core_collator::asort_objects_by_property($this->children, 'visiblename');
                  if (!$this->sortasc) {
                      $this->children = array_reverse($this->children);
                  }
              }
              $this->sorted = true;
          }
          return $this->children;
      }
code: public function get_children() {
          // If we should sort and it hasn't already been sorted.
          if ($this->sort && !$this->sorted) {
              if ($this->sortsplit) {
                  $categories = array();
                  $pages = array();
                  foreach ($this->children as $child) {
                      if ($child instanceof admin_category) {
                          $categories[] = $child;
                      } else {
                          $pages[] = $child;
                      }
                  }
                  core_collator::asort_objects_by_property($categories, 'visiblename');
                  core_collator::asort_objects_by_property($pages, 'visiblename');
                  if (!$this->sortasc) {
                      $categories = array_reverse($categories);
                      $pages = array_reverse($pages);
                  }
                  $this->children = array_merge($pages, $categories);
              } else {
                  core_collator::asort_objects_by_property($this->children, 'visiblename');
                  if (!$this->sortasc) {
                      $this->children = array_reverse($this->children);
                  }
              }
              $this->sorted = true;
          }
          return $this->children;
      }
code_tokens: public function get_children ( ) { // If we should sort and it hasn't already been sorted. if ( $ this -> sort && ! $ this -> sorted ) { if ( $ this -> sortsplit ) { $ categories = array ( ) ; $ pages = array ( ) ; foreach ( $ this -> children as $ child ) { if ( $ child instanceof admin_category ) { $ categories [ ] = $ child ; } else { $ pages [ ] = $ child ; } } core_collator :: asort_objects_by_property ( $ categories , 'visiblename' ) ; core_collator :: asort_objects_by_property ( $ pages , 'visiblename' ) ; if ( ! $ this -> sortasc ) { $ categories = array_reverse ( $ categories ) ; $ pages = array_reverse ( $ pages ) ; } $ this -> children = array_merge ( $ pages , $ categories ) ; } else { core_collator :: asort_objects_by_property ( $ this -> children , 'visiblename' ) ; if ( ! $ this -> sortasc ) { $ this -> children = array_reverse ( $ this -> children ) ; } } $ this -> sorted = true ; } return $ this -> children ; }
docstring: Returns the children associated with this category.
  
  @return part_of_admin_tree[]
docstring_tokens: Returns the children associated with this category .