Juste un p'tit message pour la personne qui veut s'en occuper.
Je propose de faire deux fonctions comme l'a suggérer je en sais plus qui. Une fonction redirect() qui fait un header("Location: ...") tout bêtement et une deuxième qui s'appelerait refresh() et qui correspondrait à la fonction redirect() avant que je ne la modifie. Avec ces deux fonctions on résoud tous les problèmes.

Pour ce qui est du problème potentiel de l'utilisation de header() je ne pense pas que cela en soit un réellement. On livre une version où il n'y a pas de problème. Si la personne qui utilise pwg et modifie des fichiers php (y compris config_local.php) c'est à ses risques et périls. Quoi qu'il en soit sur ma galerie personnelle j'ai toujours utilisé header() et je n'ai pas le moindre problème.