Christian, rezolvi totul cu un header http... cand spui cand sa expire documentul. Punct. Mai mult decat atat, paginile statice, cand sunt luate de pe server, la last modification time ti se pune data/ora efectiva a modificarii, pe cand la scripturile php, se pune data si ora executiei.