title: Convert this string to datetime
body: <blockquote>
    <p><strong>Possible Duplicate:</strong><br>
    <a href="https://stackoverflow.com/questions/4843423/php-convert-uncommon-date-format-to-timestamp-in-most-efficient-manner-possible">PHP: Convert uncommon date format to timestamp in most efficient manner possible?</a>  </p>
  </blockquote>
  
  
  
  <p>How to convert this string to datetime format?
  06/Oct/2011:19:00:02</p>
  
  <p>I tried this but it doesn't work.</p>
  
  <pre><code>$s = '06/Oct/2011:19:00:02';
  
  $date = strtotime($s);
  echo date('d/M/Y:H:i:s', $date);
  </code></pre>