original_string: public function remove_section_heading($sectionid) {
          global $DB;
          $section = $DB->get_record('quiz_sections', array('id' => $sectionid), '*', MUST_EXIST);
          if ($section->firstslot == 1) {
              throw new \coding_exception('Cannot remove the first section in a quiz.');
          }
          $DB->delete_records('quiz_sections', array('id' => $sectionid));
      }
code: public function remove_section_heading($sectionid) {
          global $DB;
          $section = $DB->get_record('quiz_sections', array('id' => $sectionid), '*', MUST_EXIST);
          if ($section->firstslot == 1) {
              throw new \coding_exception('Cannot remove the first section in a quiz.');
          }
          $DB->delete_records('quiz_sections', array('id' => $sectionid));
      }
code_tokens: public function remove_section_heading ( $ sectionid ) { global $ DB ; $ section = $ DB -> get_record ( 'quiz_sections' , array ( 'id' => $ sectionid ) , '*' , MUST_EXIST ) ; if ( $ section -> firstslot == 1 ) { throw new \ coding_exception ( 'Cannot remove the first section in a quiz.' ) ; } $ DB -> delete_records ( 'quiz_sections' , array ( 'id' => $ sectionid ) ) ; }
docstring: Remove the section heading with the given id
  @param int $sectionid the section to remove.
docstring_tokens: Remove the section heading with the given id