$_SERVER['REQUEST_TIME'] ou time() ?

[Sephi-Chan]

Comme le dit Anthor, il y a une différence importante entre les deux appels.

Si on prend ce code :

echo $_SERVER['REQUEST_TIME'] . "\n";

echo time() . "\n";

sleep(3);

echo $_SERVER['REQUEST_TIME'] . "\n";

echo time() . "\n";

Voici la sortie associée :

1263220977

1263220977

1263220977

1263220980

Donc utilise l'un ou l'autre selon ton besoin, mais ne te met surtout pas en tête qu'il vaut mieux utiliser $_SERVER['REQUEST_TIME'] parce que "ça va plus vite" que time().


Sephi-Chan