original_string: protected function checkBrowserAndroidHTCSensation()
      {
          if( stripos($this->_agent,'Android') !== false ||
          	stripos($this->_agent,'Macintosh') !== false )
          {
          	if( stripos($this->_agent,'HTC_SensationXE')  !== false ||
          		stripos($this->_agent,'HTC Sensation XE') !== false )
          	{
          	    $this->setVersion(self::VERSION_UNKNOWN);
          	    $this->setMobile(true);
          	    $this->setBrowser(self::BROWSER_HTC_SENSATION_XE);
          	    return true;
          	}
          	if( stripos($this->_agent,'HTC_SensationXL')  !== false ||
          	    stripos($this->_agent,'HTC Sensation XL') !== false ||
          	    stripos($this->_agent,'HTC_Runnymede') !== false ) //usa name
          	{
          	    $this->setVersion(self::VERSION_UNKNOWN);
          	    $this->setMobile(true);
          	    $this->setBrowser(self::BROWSER_HTC_SENSATION_XL);
          	    return true;
          	}
          	if( stripos($this->_agent,'HTC_Sensation_Z710') !== false )
          	{
          	    $this->setVersion(self::VERSION_UNKNOWN);
          	    $this->setMobile(true);
          	    $this->setBrowser(self::BROWSER_HTC_SENSATION_Z710);
          	    return true;
          	}
          	if( stripos($this->_agent,'HTC Sensation') !== false ||
          		stripos($this->_agent,'HTC_Sensation') !== false )
              {
                  $this->setVersion(self::VERSION_UNKNOWN);
                  $this->setMobile(true);
                  $this->setBrowser(self::BROWSER_HTC_SENSATION);
                  return true;
              }
          }
          return false;
      }
code: protected function checkBrowserAndroidHTCSensation()
      {
          if( stripos($this->_agent,'Android') !== false ||
          	stripos($this->_agent,'Macintosh') !== false )
          {
          	if( stripos($this->_agent,'HTC_SensationXE')  !== false ||
          		stripos($this->_agent,'HTC Sensation XE') !== false )
          	{
          	    $this->setVersion(self::VERSION_UNKNOWN);
          	    $this->setMobile(true);
          	    $this->setBrowser(self::BROWSER_HTC_SENSATION_XE);
          	    return true;
          	}
          	if( stripos($this->_agent,'HTC_SensationXL')  !== false ||
          	    stripos($this->_agent,'HTC Sensation XL') !== false ||
          	    stripos($this->_agent,'HTC_Runnymede') !== false ) //usa name
          	{
          	    $this->setVersion(self::VERSION_UNKNOWN);
          	    $this->setMobile(true);
          	    $this->setBrowser(self::BROWSER_HTC_SENSATION_XL);
          	    return true;
          	}
          	if( stripos($this->_agent,'HTC_Sensation_Z710') !== false )
          	{
          	    $this->setVersion(self::VERSION_UNKNOWN);
          	    $this->setMobile(true);
          	    $this->setBrowser(self::BROWSER_HTC_SENSATION_Z710);
          	    return true;
          	}
          	if( stripos($this->_agent,'HTC Sensation') !== false ||
          		stripos($this->_agent,'HTC_Sensation') !== false )
              {
                  $this->setVersion(self::VERSION_UNKNOWN);
                  $this->setMobile(true);
                  $this->setBrowser(self::BROWSER_HTC_SENSATION);
                  return true;
              }
          }
          return false;
      }
code_tokens: protected function checkBrowserAndroidHTCSensation ( ) { if ( stripos ( $ this -> _agent , 'Android' ) !== false || stripos ( $ this -> _agent , 'Macintosh' ) !== false ) { if ( stripos ( $ this -> _agent , 'HTC_SensationXE' ) !== false || stripos ( $ this -> _agent , 'HTC Sensation XE' ) !== false ) { $ this -> setVersion ( self :: VERSION_UNKNOWN ) ; $ this -> setMobile ( true ) ; $ this -> setBrowser ( self :: BROWSER_HTC_SENSATION_XE ) ; return true ; } if ( stripos ( $ this -> _agent , 'HTC_SensationXL' ) !== false || stripos ( $ this -> _agent , 'HTC Sensation XL' ) !== false || stripos ( $ this -> _agent , 'HTC_Runnymede' ) !== false ) //usa name { $ this -> setVersion ( self :: VERSION_UNKNOWN ) ; $ this -> setMobile ( true ) ; $ this -> setBrowser ( self :: BROWSER_HTC_SENSATION_XL ) ; return true ; } if ( stripos ( $ this -> _agent , 'HTC_Sensation_Z710' ) !== false ) { $ this -> setVersion ( self :: VERSION_UNKNOWN ) ; $ this -> setMobile ( true ) ; $ this -> setBrowser ( self :: BROWSER_HTC_SENSATION_Z710 ) ; return true ; } if ( stripos ( $ this -> _agent , 'HTC Sensation' ) !== false || stripos ( $ this -> _agent , 'HTC_Sensation' ) !== false ) { $ this -> setVersion ( self :: VERSION_UNKNOWN ) ; $ this -> setMobile ( true ) ; $ this -> setBrowser ( self :: BROWSER_HTC_SENSATION ) ; return true ; } } return false ; }
docstring: Determine if the browser is Android and HTC Sensation or not, add by BugBuster
  @return boolean True if the browser is HTC Sensation otherwise false
docstring_tokens: Determine if the browser is Android and HTC Sensation or not add by BugBuster