php get time from timestamp code example

Example: php datetime from timestamp

$ts = 1171502725;
$date = new DateTime("@$ts");