Converter RFC 1123 data para timestamp em PHP

Question

O que é a maneira mais fácil ou mais elegante para converter uma data RFC 1123 (De um HTTP-Vencimento-header) para um timestamp UNIX?

Exemplo: Sun, 14 de agosto de 2005 16:13:03 GMT

Eu realmente tenho a 'substr' tudo?

Answer 1

strtotime pode ler esse formato.

Answer 2

O método chato:

            $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]);