/**
* Method used to get the formatted date for a specific timestamp
* and a specific timezone, provided by the user' preference.
*
* @access public
* @param string $timestamp The date timestamp to be formatted
* @param string $timezone The timezone name
* @return string
*/
function getFormattedDate($timestamp, $timezone = FALSE)
{
if ($timezone === FALSE) {
$timezone = Date_API::getPreferredTimezone();
}
$date = new Date($timestamp);
// now convert to another timezone and return the date
$date->convertTZById($timezone);
return $date->format('%a, %d %b %Y, %H:%M:%S ') . Date_API::getTimezoneShortName($date);
}
