Manuel PHP

date_time_set

(PHP 5 >= 5.2.0)

date_time_setFixe le temps

Description

void date_time_set ( DateTime $object , int $hour , int $minute [, int $second ] )
void DateTime::setTime ( int $hour , int $minute [, int $second ] )

Réinitialise le temps courant d'un objet DateTime à un temps différent.

Liste de paramètres

object

Seulement en style procédural : un DateTime object returné par date_create()

hour

Heure du temps.

minute

Minute du temps.

second

Seconde du temps.

Valeurs de retour

Retourne NULL en cas de succès ou FALSE en cas d'échec.

Exemples

Exemple #1 Modification du temps d'un objet DateTime

  1. <?php
  2. date_default_timezone_set('Europe/London');  
  3.  
  4. $datetime = new DateTime('2008-08-03 12:35:23');  
  5. echo $datetime->format('Y-m-d H:i:s') . "\n";  
  6.  
  7. $datetime->setTime(14, 55, 24);  
  8. echo $datetime->format('Y-m-d H:i:s') . "\n";  
  9.  
  10. // Attention : Ne pas incrémenter l'heure !
  11. // Car l'heure a déjà été définie (14) - voir date_modify()
  12. $datetime->setTime($datetime->format('H'), $datetime->format('n') + 6);  
  13. echo $datetime->format('Y-m-d H:i:s') . "\n";  
  14.  
  15. // Incrément du jour, car le jour n'a pas été défini pour le moment
  16. $datetime->setTime($datetime->format('H') + 12, $datetime->format('n'));  
  17. echo $datetime->format('Y-m-d H:i:s') . "\n";  
  18. ?> 

L'exemple ci-dessus va afficher :

2008-08-03 12:35:23 2008-08-03 14:55:24 2008-08-03 14:14:00 2008-08-04 02:08:00

Voir aussi


Remonter Remonter
L'éditeur javascript - CSS - Gentoo - Tutoriaux PHP - Tutoriels PHP - Bretagne - php - Moto - Kit graphique