Updated mediawiki/extensions
Project: mediawiki/extensions/EventLogging  395a1b1a9034ba413b7f9886923e08d734cb2ac7

Check that $_SERVER[ 'HTTP_USER_AGENT' ] is nonempty

$_SERVER[ 'HTTP_USER_AGENT' ] can be set to null, in which case the resulting
event fails validation, since null does not have type string. This doesn't
happen often, but we should catch it.

Change-Id: I89819bd943ddbbb959c12b768b76f02d3d1140c5