enwikipedia-acc/waca — pull request #121 by koentje (2014-02-03 20:28:08+00:00)
Title: Fix potential undefined index on request submission

When submitting a request for an account without a `HTTP_USER_AGENT`, a
`NOTICE` is emitted:

Notice: Undefined index: HTTP_USER_AGENT in /var/www/includes/request.php on line 634

This patch changes the submit function to check for existence of the
`HTTP_USER_AGENT` header before adding it to the database.