What is the output of $_SERVER['HTTP_USER_AGENT'] for search robots, web crawlers, and spiders?

Search robots, web crawlers, and spiders typically identify themselves in the `$_SERVER['HTTP_USER_AGENT']` variable. To differentiate these bots from regular users, you can check for specific keywords commonly found in their user agents. This can be useful for implementing different behaviors or restrictions for bots on your website.

if (strpos($_SERVER['HTTP_USER_AGENT'], 'Googlebot') !== false || strpos($_SERVER['HTTP_USER_AGENT'], 'bingbot') !== false) {
    // This is a search bot
    // Implement specific behavior for bots
} else {
    // This is a regular user
    // Implement regular behavior
}