Tengo una página, index.php, que muestra información basada en una base de datos mysql. Hay formularios en él, y la acción para los formularios se establece en una página separada llamada process.php. Process.php hace todo el material CRUD de la base de datos, luego usa

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

para devolver al usuario a la página original.

Esto parece estar funcionando bien, excepto por el hecho de que la página de índice original no siempre refleja los cambios realizados por process.php. Supongo que la página se almacena en caché, porque si hago una actualización (Ctrl + F5), la página mostrará los últimos datos.

¿Cómo puedo evitar que esta página se almacene en caché? Yo he tratadolo que dice la página PHP para el encabezado (), pero no parece funcionar. Las opciones Cache-Control y Expires parecen no tener ningún efecto en absoluto: la página aún se está almacenando en caché.

Actualizar

Ok, estaba parcialmente equivocado. Al parecer, lo siguiente funciona en IE:

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

Sin embargo, definitivamente NO está funcionando en FF, que aún muestra una versión en caché. ¿Alguna idea sobre por qué es esto y cómo puedo hacer que deje de almacenar en caché?