original_string: public function set_showdivider($val, $label = '') {
          $this->showdivider = $val;
          if ($this->showdivider && empty($label)) {
              debugging('Navigation region requires a label', DEBUG_DEVELOPER);
          } else {
              $this->set_collectionlabel($label);
          }
      }
code: public function set_showdivider($val, $label = '') {
          $this->showdivider = $val;
          if ($this->showdivider && empty($label)) {
              debugging('Navigation region requires a label', DEBUG_DEVELOPER);
          } else {
              $this->set_collectionlabel($label);
          }
      }
code_tokens: public function set_showdivider ( $ val , $ label = '' ) { $ this -> showdivider = $ val ; if ( $ this -> showdivider && empty ( $ label ) ) { debugging ( 'Navigation region requires a label' , DEBUG_DEVELOPER ) ; } else { $ this -> set_collectionlabel ( $ label ) ; } }
docstring: Setter for "showdivider"
  @param $val boolean
  @param $label string Label for the group of nodes
docstring_tokens: Setter for showdivider