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);
    }
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);
    }
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 ) ; }
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.
Method to set the current page title . This method must be called when the current page is not created yet .