Patrick Gundlach wrote:
I keep getting notices in my error.log (apache) such
as:
[client xxx.xxx.66.44] PHP Notice: Undefined index: HTTP_USER_AGENT in
/path/to/my/wiki/includes/EditPage.php on line 966
The line in EditPage.php is:
$currentbrowser = $_SERVER["HTTP_USER_AGENT"];
Right before this line add:
if( empty( $_SERVER["HTTP_USER_AGENT"] ) ) {
// No User-Agent header sent? Trust it by default...
return true;
}
This will be in 1.5.1.
-- brion vibber (brion @
pobox.com)