PHP Json header

header('Cache-Control: no-cache, must-revalidate');
header('Expires: Mon, 26 Jul 1997 05:00:00 GMT');
header('Content-type: application/json');
echo json_encode(array(1,2,3));

Afin que celui-ci ne soit pas mis en cache et bien remis à jour à chaque appel (par Internet Explorer).