#14 PHP Notice Patch

[Jan Mazánek]

php/lib.php line 7 produces PHP notice.

IMHO should be changed to:
// get basic username and password
if (empty($_SERVER['PHP_AUTH_USER']) && !empty($_SERVER["REDIRECT_HTTP_AUTHORIZATION"])) {
list($_SERVER['PHP_AUTH_USER'], $_SERVER['PHP_AUTH_PW']) =
explode(':' , base64_decode(substr($_SERVER["REDIRECT_HTTP_AUTHORIZATION"],6)));
}else{/*
$_SERVER['PHP_AUTH_USER'] = null;
$_SERVER['PHP_AUTH_PW'] = null;
*/
}