title: PHP DateTime class accepts @{$timestamp} as a timestamp. why?
body: <p>I'm wondered why PHP DateTime class accepts a strange value to represent the timestamp?</p>
  
  <p>The stranger value is <code>@{$timestamp}</code>:</p>
  
  <p>Example:</p>
  
  <p><code>$timestamp = time();
  $date = new DateTime("@{$timestamp}");</code></p>
  
  <p>PHP's Manual does not show any information related to <code>@{$timestamp}</code>!!</p>
  
  <p>Please note that it's not possible to do something like this:
  <code>$date = new DateTime(time());</code></p>
  
  <p>I know the easiest way to set a timestamp for DateTime class is: <code>$date-&gt;setTimeStamp(time());</code> but I'm asking about <code>@{$timestamp}</code></p>
  
  <p>Does anyone know what is the magic behind <code>@{$timestamp}</code>?</p>