C’est ce que je me suis dit récemment en constatant qu’un bout de code PHP avait cessé de fonctionner sur un de mes sites web. Il s’agit donc d’un rappel pour les autres programmeurs inattentifs : $DOCUMENT_ROOT = $HTTP_SERVER_VARS['DOCUMENT_ROOT']; ne fonctionne plus. Il faut maintenant utiliser la nouvelle forme : $DOCUMENT_ROOT = $_SERVER['DOCUMENT_ROOT'];.
A bon entendeur, salut.