$bots = false; if (isset($_SERVER[‘HTTP_USER_AGENT’])) { $bot_agents = ‘!(mediapartners|adsbot|linkedinbot|googlebot|yahoo|bingbot|baiduspider|yandex|yeti|yodaobot|gigabot|ia_archiver|facebookexternalhit|twitterbot|developers.google.com|google-inspectiontool|telegrambot)!i’; if (preg_match($bot_agents, $_SERVER[‘HTTP_USER_AGENT’])) { $bots = true; } } if ($bots …