2009-10-22 7 views

Répondre

3

strtotime peut lire ce format.

+0

Merci. Euh, je ne peux pas croire que je n'ai pas essayé celui-là en premier, strtotime est presque magique ... –

1

La méthode interressant:

  $datestring = 'Sun, 14 Aug 2005 16:13:03 GMT'; 
      $months = array('Jan' => 1, 
          'Feb' => 2, 
          'Mar' => 3, 
          'Apr' => 4, 
          'May' => 5, 
          'Jun' => 6, 
          'Jul' => 7, 
          'Aug' => 8, 
          'Sep' => 9, 
          'Oct' => 10, 
          'Nov' => 11, 
          'Dec' => 12, 
         ); 

      $date = explode(' ', $datestring); 

      // Validity check 
      if(count($date) != 6) { return; } 

      $time = explode(':', $date[4]); 

      // Validity check 
      if(count($time) != 3) { return; }     
      if(! isset($months[$date[2]])) { return; } 

      // Convert to time 
      $timestamp= gmmktime($time[0], $time[1], $time[2], $months[$date[2]], $date[1], $date[3]); 
Questions connexes