(PHP 3, PHP 4 >= 4.0.0)
int gmmktime (int Stunde, int Minute, int Secunde, int Monat, int Tag, int Jahr [, int is_dst])
int gmmktime
Identisch zu mktime(). Die angegebenen Parameter werden aber als GMT-Datum/Zeit zurück gegeben.