Pour ceux qui ne connaissent pas, history.back(); est une fonction JavaScript qui permet de revenir en arrière dans l'historique du navigateur. Pour ceux que ça interresse, voilà ma version de la chose en PHP:

function goback($usejs = true, $fallback = 'index', $die = true) {

 	$referer = getenv('HTTP_REFERER');

	if (!empty($referer)) {
	
		header('Location: ' . $referer);
	
	} else {
	
		if ($usejs) {
		
			while (@ob_end_clean());
			echo '<script type="text/javascript">history.go(-1)</script>';
		
		} else {
	
			header('Location: ' . $fallback);
			
		}
	
	}
	
	$die && die();

}