Maison >développement back-end >Problème PHP >Comment modifier l'heure de création d'un fichier en php
Comment modifier l'heure de création d'un fichier en PHP : Créez d'abord un exemple de fichier PHP ; puis saisissez le contenu "touch("test.txt",mktime(19,5,10,10,26,2013)) ;" ;Enfin, exécutez le fichier dans le navigateur.
Recommandé : "Tutoriel vidéo PHP"
php Modifier l'heure de création du fichier
Changer l'heure de dernière modification de test.txt à 19:05:10 le 26 octobre 2013
<?php touch("test.txt",mktime(19,5,10,10,26,2013)); ?>
Introduction connexe :
fonction mktime() Renvoie l'horodatage UNIX d'une date.
Astuce : Cette fonction est la même que gmmktime(), sauf que le paramètre passé représente une date (et non une date GMT). La fonction
Syntaxe
mktime(hour,minute,second,month,day,year,is_dst);
touch() définit l'heure d'accès et de modification du fichier spécifié.
En cas de succès, cette fonction renvoie VRAI. En cas d'échec, renvoie FALSE.
Grammaire
touch(filename,time,atime)
Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!