Lines Matching refs:ua
164 @$ua = $headers_mixed['User-Agent'];
166 …if (stripos($ua, "bingbot") !== FALSE || stripos($ua, "msnbot") !== FALSE || stripos($ua, "MS Sear…
171 …} elseif (stripos($ua, "Googlebot") !== FALSE || stripos($ua, "Mediapartners-Google") !== FALSE ||…
176 …} elseif (stripos($ua, "Yahoo! Slurp") !== FALSE || stripos($ua, "Yahoo! SearchMonkey") !== FALSE)…
183 if (stripos($ua, "MSIE") !== FALSE) {
185 if (stripos($ua, "Opera") !== FALSE) {
192 } elseif (stripos($ua, "Konqueror") !== FALSE) {
196 } elseif (stripos($ua, "Opera") !== FALSE) {
200 } elseif (stripos($ua, "Safari") !== FALSE) {
204 } elseif (stripos($ua, "Lynx") !== FALSE) {
208 } elseif (stripos($ua, "MovableType") !== FALSE) {
211 } elseif (stripos($ua, "Mozilla") !== FALSE && stripos($ua, "Mozilla") == 0) {