- Timestamp:
- 02/15/06 22:00:13 (3 years ago)
- Files:
-
- 1 modified
-
branches/new-themes-model/rss/util.php (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
branches/new-themes-model/rss/util.php
r1282 r1283 1185 1185 if (isset($_SERVER['HTTP_USER_AGENT'])) { 1186 1186 $ua = $_SERVER['HTTP_USER_AGENT']; 1187 $ua_lwr = strtolower( $ua ); 1187 1188 $ret = strpos($ua, 'SonyEricsson') !== FALSE 1188 1189 || strpos($ua, 'Nokia') !== FALSE 1189 || strpos($ua, 'Mobile') !== FALSE; 1190 || strpos($ua, 'Mobile') !== FALSE 1191 || strpos($ua, 'Windows CE') !== FALSE 1192 || strpos($ua, 'EPOC') !== FALSE 1193 || strpos($ua, 'Opera Mini') !== FALSE 1194 || strpos($ua_lwr, 'j2me') !== FALSE; 1190 1195 } 1191 1196 }
