Undefined index: HTTP_USER_AGENT

Hey there,

On some pages (because of other plugins) this error is being triggered:

Undefined index: HTTP_USER_AGENT in …wp-content/plugins/disqus-conditional-load/public/dcl-functions.php on line <b>237

Perhaps a conditional check could be used here to make sure HTTP_USER_AGENT is actually set – as it isn’t always – and to make this plugin more compatible with other plugins and situations.

Something like this:

if( isset( $_SERVER['HTTP_USER_AGENT'] ) && strpos($_SERVER['HTTP_USER_AGENT'],$bot)!==false)

https://www.ads-software.com/plugins/disqus-conditional-load/