Fichier CSS
Quand l’on fait des modifications sur notre site internet, il arrive que nos fichiers CSS soient modifiés. Le problème, c’est que souvent ces fichiers sont mis en cache dans le navigateur du client (le visiteur) et pour vider son cache, on doit lui dire de faire CTRL+F5 ou CTRL+R. Alors comment s’en sauver ? Avec un code PHP bien sûr.
Pour se faire, nous devons utiliser une fonction PHP. C’est la fonction filetime. Elle s’utilise ainsi : filemtime($file). Cette fonction renvoit le timestamp de la dernière modification d’un fichier. Vous voyez où je veux en venir ? Eh oui, il ne faut qu’ajouter cette fonction après le nom du fichier par exemple :
<link href=”style/global.css?<?php echo filemtime(‘style/global.css’) ?>” rel=”stylesheet” type=”text/css” media=”screen, handheld, tv, projection” />
Ainsi, à chaque modification de votre fichier, le navigateur n’ira plus chercher celui dans le cache mais prendra plutôt le nouveau fichier sur votre nouveau serveur.
Jeu de briques
Snake
Pacman
Bubble