From 2f975eb6d4dbcfa5b0d95a82d4223d287737824f Mon Sep 17 00:00:00 2001
From: Shish <shish@shishnet.org>
Date: Sat, 8 Feb 2020 11:55:06 +0000
Subject: [PATCH] don't crash if UA is empty

---
 ext/index/main.php | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/ext/index/main.php b/ext/index/main.php
index 4704ed1e..a5de59a6 100644
--- a/ext/index/main.php
+++ b/ext/index/main.php
@@ -45,13 +45,14 @@ class Index extends Extension
             try {
                 $fast_page_limit = 500;
 
+                $ua = $_SERVER["HTTP_USER_AGENT"] ?? "No UA";
                 if (
                     SPEED_HAX
                     && (
-                        strstr($_SERVER["HTTP_USER_AGENT"], "Googlebot") !== false
-                        || strstr($_SERVER["HTTP_USER_AGENT"], "YandexBot") !== false
-                        || strstr($_SERVER["HTTP_USER_AGENT"], "bingbot") !== false
-                        || strstr($_SERVER["HTTP_USER_AGENT"], "msnbot") !== false
+                        strstr($ua, "Googlebot") !== false
+                        || strstr($ua, "YandexBot") !== false
+                        || strstr($ua, "bingbot") !== false
+                        || strstr($ua, "msnbot") !== false
                     )
                     && (
                         $count_search_terms > 1