PHP : Modifier des dates de fichiers
J’ai acquis un autoradio USB, qui possède une caractéristique étrange : l’ordre des morceaux est lié non à leur nom mais… à leur date de modification ! De plus, le random est toujours dans le même ordre… Cherchez l’erreur !
je passerai outre le fait que, en mode USB :
- CH+ = lecture/pause
- APS = recherche de piste
- BAND = changement de dossier
De ce fait, j’ai fait un script PHP pour mettre une date de modification aléatoire afin de générer un random :
<?php $src = 'M:\\_musiques\\'; $t = scandir($src); foreach ($t as $file): $rand = (int) rand(0, 99999); $time = time() - 100000 + $rand; @touch($src . $file, $time); endforeach; ?>