original_string: public function setUser(/* string */ $user) {
  		// Close connection before changing username.
  		if ($this->user !== $user) {
  			$this->close();
  			$this->user = $user;
  		}
  	}
code: public function setUser(/* string */ $user) {
  		// Close connection before changing username.
  		if ($this->user !== $user) {
  			$this->close();
  			$this->user = $user;
  		}
  	}
code_tokens: public function setUser ( /* string */ $ user ) { // Close connection before changing username. if ( $ this -> user !== $ user ) { $ this -> close ( ) ; $ this -> user = $ user ; } }
docstring: Changing FTP connecting username.
  
  @param string $user New username
docstring_tokens: Changing FTP connecting username .