Manuel PHP
Précédent
Suivant
int gmmktime(int hour, int minute, int second, int month, int day, int year, int [is_dst]);
Identique à mktime() excepté le fait que les paramètres passés sont GMT.
Sommaire
mktime
Chapitre
time