comment ré-format datetime chaîne de caractères en php?

Je reçois un datetime à partir d'un plugin. Je l'ai mis dans une variable:

$datetime = "20130409163705"; 

Qui de fait se traduit par yyyymmddHHmmss.

J'aurais besoin d'afficher à l'utilisateur comme une transaction de temps, mais il n'a pas l'air bon.

J'aimerais organiser comme 09/04/2013 16:37:05 ou 09-apr-2013 16:37:05.

Comment dois-je procéder et de modifier les ordres de la chaîne?

Que pour l'instant je pouvais penser est d'utiliser substr pour séparer la date et de l'heure. Je ne suis toujours pas sûr de la façon d'ajouter les caractères supplémentaires et de réorganiser la date.

  • date_parse_from_format() faire ce que vous souhaitez.
  • php.net/manual/tr/function.date.php ... s'il vous plaît
  • DateTime::createFromFormat()
  • Je viens de trouver cette question utile et son de 2014, de sorte que les gens qui ont fermé il sont en train de parler de leurs fonds.
  • Voté pour la réouverture. Alors que la question montre un cas spécifique, l'application à d'autres cas est facile à voir. Trouvé cette réponse via Google, et il m'a dirigé dans la bonne direction, même si mon cas était différent.
InformationsquelleAutor Psychocryo | 2013-04-10