original_string: public static function hasSessionMoved() {
  		if(!isset($_SESSION['dachi_agent']))
  			return true;
  
  		$agents = $_SESSION['dachi_agent'];
  		$agentc = $_SERVER['HTTP_USER_AGENT'];
  
  		if($agents != $agentc) {
  			if(strpos($agentc, "Trident") !== false && strpos($agents, "Trident") !== false)
  				return false;
  
  			return true;
  		}
  
  		return false;
  	}
code: public static function hasSessionMoved() {
  		if(!isset($_SESSION['dachi_agent']))
  			return true;
  
  		$agents = $_SESSION['dachi_agent'];
  		$agentc = $_SERVER['HTTP_USER_AGENT'];
  
  		if($agents != $agentc) {
  			if(strpos($agentc, "Trident") !== false && strpos($agents, "Trident") !== false)
  				return false;
  
  			return true;
  		}
  
  		return false;
  	}
code_tokens: public static function hasSessionMoved ( ) { if ( ! isset ( $ _SESSION [ 'dachi_agent' ] ) ) return true ; $ agents = $ _SESSION [ 'dachi_agent' ] ; $ agentc = $ _SERVER [ 'HTTP_USER_AGENT' ] ; if ( $ agents != $ agentc ) { if ( strpos ( $ agentc , "Trident" ) !== false && strpos ( $ agents , "Trident" ) !== false ) return false ; return true ; } return false ; }
docstring: Has this session moved
  
  Moving is currently defined as "changing user agent".
  
  @return boolean
docstring_tokens: Has this session moved