original_string: function set_title($title) {
          global $PAGE;
  
          $this->page = null;
          $this->title = $title;
          // set_title calls format_string itself so no probs there
          $PAGE->set_title($this->title);
      }
code: function set_title($title) {
          global $PAGE;
  
          $this->page = null;
          $this->title = $title;
          // set_title calls format_string itself so no probs there
          $PAGE->set_title($this->title);
      }
code_tokens: function set_title ( $ title ) { global $ PAGE ; $ this -> page = null ; $ this -> title = $ title ; // set_title calls format_string itself so no probs there $ PAGE -> set_title ( $ this -> title ) ; }
docstring: Method to set the current page title.
  This method must be called when the current page is not created yet.
  @param string $title Current page title.
docstring_tokens: Method to set the current page title . This method must be called when the current page is not created yet .