Hallo Rolf,
statt den Filename zu ändern, kann man der URL auch einen Query-Parameter hinzufügen. Ändert sich der Style-Inhalt, ändert man den Query-Parameter.
Genau das sagte ich. Nur, dass ich das automatisiert habe und hiernach nichts mehr manuell anhängen muß:
$filename = 'js/meineJSdatei.js';
if (file_exists($filename)) {
$filetime = "?v=".filemtime($filename);
}
<script type="text/javascript" src="js/meineJSdatei.js<?php echo($filetime); ?>"></script>
Pit
Edit: Sehe gerade, dass es Dir auch aufgefallen ist...kann passieren 😉