| Index: trunk/extensions/MobileFrontend/DeviceDetection.php |
| — | — | @@ -356,8 +356,10 @@ |
| 357 | 357 | $formatName = 'psp'; |
| 358 | 358 | } elseif ( preg_match( '/PLAYSTATION 3/', $userAgent ) ) { |
| 359 | 359 | $formatName = 'ps3'; |
| | 360 | + } elseif ( preg_match( '/SAMSUNG/', $userAgent ) ) { |
| | 361 | + $formatName = 'html'; |
| 360 | 362 | } |
| 361 | | - |
| | 363 | + |
| 362 | 364 | if ( $formatName === '' ) { |
| 363 | 365 | if ( strpos( $acceptHeader, 'application/vnd.wap.xhtml+xml' ) !== false ) { |
| 364 | 366 | $formatName = 'wml'; |