PHP changes

This is what I told myself when uncovering a little PHP code fragment that stopped working on one of my web sites. So, this is a reminder for those of you inattentive programmers like me: $DOCUMENT_ROOT = $HTTP_SERVER_VARS['DOCUMENT_ROOT']; is deprecated and works no longer. You must now use the newest form: $DOCUMENT_ROOT = $_SERVER['DOCUMENT_ROOT'];.

Be warned.