title: how to convert string to date or datetime in php
body: <p>my PHP script is receving "/Date(1403071826510)/" as a JSON date. How can I convert this to PHP Date or DateTime?</p>
  
  <p>this is what I am doing:</p>
  
  <pre><code>$milliseconds = (int) preg_replace("/[^0-9 ]/", '', $strDate);
  return json_encode(Date('d/m/Y h:m',$milliseconds/1000));
  </code></pre>
  
  <p>but my casting is returning 2147483647 instead of 1403071826510 because my OS is 32 bits.</p>
  
  <p>Any idea how to get the Date or DateTime from the string received?</p>
  
  <p>thanks </p>