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)