original_string: function set_page($page) {
          global $PAGE;
  
          $this->page = $page;
          $this->title = $page->title;
          // set_title calls format_string itself so no probs there
          $PAGE->set_title($this->title);
      }
code: function set_page($page) {
          global $PAGE;
  
          $this->page = $page;
          $this->title = $page->title;
          // set_title calls format_string itself so no probs there
          $PAGE->set_title($this->title);
      }
code_tokens: function set_page ( $ page ) { global $ PAGE ; $ this -> page = $ page ; $ this -> title = $ page -> title ; // set_title calls format_string itself so no probs there $ PAGE -> set_title ( $ this -> title ) ; }
docstring: Method to set the current page
  
  @param object $page Current page
docstring_tokens: Method to set the current page