Topic: PHP fix in header.php
We should check
array_key_exists('HTTP_USER_AGENT',$_SERVER)
Before using the value of $_SERVER['HTTP_USER_AGENT']
I had to redo this manually when I upgraded to 4.7.5L and 4.7.6L
It would be nice if this can be incorporated in the code!