Convertissez cette chaîne en une date correcte - php

Est-il possible de convertir ce type de chaîne:

00:12:57 Nov 05, 2014 PST

Pour une date convenable?

J'utilise Carbon pour les timestamps mysql, et j'obtiens ce genre de format lorsque je reçois une réponse de l'API paypal.

Ma pensée initiale était de l'exploser, de le reformater puis de le convertir, mais peut-être existe-t-il un autre moyen de le faire?

sans l'exploser et faire ce genre de choses, je suis capable de transformer ce format en un format valide afin de pouvoir l'utiliser pour le stocker dans mysql (timestamp)

Réponses:

Vous pouvez utiliser strtotime() pour le convertir en horodatage puis utiliser date() pour le formater comme vous le souhaitez:

$timestamp = strtotime("00:12:57 Nov 05, 2014 PST");
echo date("Y-m-d H:i:s", $timestamp);

// 2014-11-05 03:12:57

Je pense que cette fonction vous sera utile :):

http://fr2.php.net/strtotime

$date = DateTime::createFromFormat("read doc",$string_var); devrait aider...(doc)

Vous pouvez utiliser le DateTime classe pour cela. Par exemple:

$date = new DateTime("00:12:57 Nov 05, 2014 PST");
echo $date->format("Y-m-d");