id,summary,reporter,owner,description,type,status,priority,milestone,component,version,severity,resolution,keywords,cc
17682,Browser nag PHP Notice if no user agent is set,duck_,ryan,"Not too likely to happen in practice, but it's possible and I ran across it today.

{{{
Notice: Undefined index: HTTP_USER_AGENT in /srv/www/wp.dev/public/wp-admin/includes/dashboard.php on line 1201
Notice: Undefined index: HTTP_USER_AGENT in /srv/www/wp.dev/public/wp-admin/includes/dashboard.php on line 1207 
}}}

Patch has added benefit of not hitting the .org API if there is no user agent to send.",defect (bug),closed,normal,3.2,Warnings/Notices,3.2,normal,fixed,has-patch,