original_string: public function set_section_heading($id, $newheading) {
          global $DB;
          $section = $DB->get_record('quiz_sections', array('id' => $id), '*', MUST_EXIST);
          $section->heading = $newheading;
          $DB->update_record('quiz_sections', $section);
      }
code: public function set_section_heading($id, $newheading) {
          global $DB;
          $section = $DB->get_record('quiz_sections', array('id' => $id), '*', MUST_EXIST);
          $section->heading = $newheading;
          $DB->update_record('quiz_sections', $section);
      }
code_tokens: public function set_section_heading ( $ id , $ newheading ) { global $ DB ; $ section = $ DB -> get_record ( 'quiz_sections' , array ( 'id' => $ id ) , '*' , MUST_EXIST ) ; $ section -> heading = $ newheading ; $ DB -> update_record ( 'quiz_sections' , $ section ) ; }
docstring: Change the heading for a section.
  @param int $id the id of the section to change.
  @param string $newheading the new heading for this section.
docstring_tokens: Change the heading for a section .