Undefined index: HTTP_USER_AGENT

[ahmadasjad]

PHP Notice Undefined index: HTTP_USER_AGENT 
    /home/tony/live/vendor/mikehaertl/php-tmpfile/src/File.php:79 mikehaertl\tmp\File::send
    /home/tony/live/vendor/mikehaertl/phpwkhtmltopdf/src/Pdf.php:199 mikehaertl\wkhtmlto\Pdf::send
    /home/tony/live/site/protected/components/Pdf.php:43 Pdf::send

[mikehaertl]

Thanks! Released 1.1.3 containing this fix.