gmstrftime

it formats a GMT/UTC time/date according to locale settings
Example

<?php
setlocale(LC_TIME, ‘en_US’);
echo strftime(“%b %d %Y %H:%M:%S”, mktime(17, 0, 0, 12, 31, 97)) . “<br />”;
echo gmstrftime(“%b %d %Y %H:%M:%S”, mktime(17, 0, 0, 12, 31, 97)) ;
?>

Output

Dec 31 1997 17:00:00
Dec 31 1997 11:30:00