The php page won't be cached. You could manually update any references to the ajax.js file to add a parameter like: ajax.js?id=2 and that will cause it to be automatically refreshed.
Realistically this isn't a major concern. Unless the user was on your site today and hasn't closed his browser window the cache would be updated next visit to the site.