strpos($_SERVER['HTTP_USER_AGENT'], 'Linguee Bot') !== false ||
strpos($_SERVER['HTTP_USER_AGENT'], 'findlinks/2') !== false ||
strpos($_SERVER['HTTP_USER_AGENT'], 'SiteBot/0.1') !== false ||
+ strpos($_SERVER['HTTP_USER_AGENT'], 'Purebot/1.1') !== false ||
+ strpos($_SERVER['HTTP_USER_AGENT'], 'Ezooms/1.0') !== false ||
+ strpos($_SERVER['HTTP_USER_AGENT'], 'discobot/1.1') !== false ||
+ strpos($_SERVER['HTTP_USER_AGENT'], 'AhrefsBot/1.0') !== false ||
+ strpos($_SERVER['HTTP_USER_AGENT'], 'suggybot v0.01a') !== false ||
+ strpos($_SERVER['HTTP_USER_AGENT'], 'DomainCrawler/2.0') !== false ||
+ strpos($_SERVER['HTTP_USER_AGENT'], 'Plukkie/1') !== false ||
+ strpos($_SERVER['HTTP_USER_AGENT'], '/Nutch-') !== false ||
+ strpos($_SERVER['HTTP_USER_AGENT'], 'aiHitBot/1.0') !== false ||
+ strpos($_SERVER['HTTP_USER_AGENT'], 'AhrefsBot/') !== false ||
+ strpos($_SERVER['HTTP_USER_AGENT'], 'Crawler') !== false ||
+ strpos($_SERVER['HTTP_USER_AGENT'], 'Acoon') !== false ||
+ strpos($_SERVER['HTTP_USER_AGENT'], 'aiHitBot') !== false ||
+ strpos($_SERVER['HTTP_USER_AGENT'], 'SeznamBot') !== false ||
+ strpos($_SERVER['HTTP_USER_AGENT'], 'CareerBot/1') !== false ||
+ strpos($_SERVER['HTTP_USER_AGENT'], 'SiteExplorer/1') !== false ||
+ strpos($_SERVER['HTTP_USER_AGENT'], 'discoverybot/2.0') !== false ||
+ strpos($_SERVER['HTTP_USER_AGENT'], 'SemrushBot/') !== false ||
+ strpos($_SERVER['HTTP_USER_AGENT'], 'archive.org_bot') !== false ||
strpos($_SERVER['HTTP_USER_AGENT'], 'Cityreview Robot') !== false) {
if (isset($_SESSION['uid']))
$_SESSION['robot'] = true;