Eu tenho uma página, index.php, que mostra informações baseadas em um banco de dados mysql. Existem formulários, e a ação para os formulários é definida para uma página separada chamada process.php. Process.php faz todo o material CRUD do banco de dados, então usa

header("Location: /webadmin/email/index.php");

para enviar o usuário de volta à página original.

Isso parece estar funcionando bem, exceto pelo fato de que a página de índice original nem sempre reflete as alterações feitas pelo process.php. Eu suponho que a página está sendo armazenada em cache, porque se eu fizer uma atualização (Ctrl + F5), a página mostrará os dados mais recentes.

Como posso evitar que essa página seja armazenada em cache? eu tenteio que a página do PHP para o header () diz, mas não parece funcionar. As opções Cache-Control e Expires parecem não ter efeito algum - a página ainda está sendo armazenada em cache.

Atualizar

Ok, eu estava parcialmente errado. Aparentemente, o seguinte funciona no IE:

<?php header("Cache-Control: no-cache, must-revalidate");

No entanto, definitivamente não está funcionando no FF, que ainda está mostrando uma versão em cache. Alguma idéia sobre o porquê disso e como posso fazer isso parar de armazenar em cache?