Bon, j'ai installé récemment PHP 5.0.4, et je dois dire que non. Non, on ne rajoute pas un <pre><font color="jesaisplusquoi"></font></pre> comme ça a l'arrache a l'affichage de var_dump(). Un <pre class="php_var_dump"></pre> encore je dis pas, mais là non.

EDIT: comme si ça suffisait pas, je viens de m'apercevoir qu'ils ont aussi viré le type de la variable... Bon enfin j'ai pas eu le temps de me pencher plus avant sur la question, mais j'espère que c'est configurable...