| Index: branches/wmf/1.17wmf1/extensions/MobileFrontend/MobileFrontend.php |
| — | — | @@ -323,7 +323,8 @@ |
| 324 | 324 | $xDevice = isset( $_SERVER['HTTP_X_DEVICE'] ) ? $_SERVER['HTTP_X_DEVICE'] : ''; |
| 325 | 325 | |
| 326 | 326 | if (self::$useFormat === 'mobile' || |
| 327 | | - self::$useFormat === 'mobile-wap') { |
| | 327 | + self::$useFormat === 'mobile-wap' || |
| | 328 | + !empty( $xDevice ) ) { |
| 328 | 329 | $this->getMsg(); |
| 329 | 330 | $this->disableCaching(); |
| 330 | 331 | ob_start( array( $this, 'DOMParse' ) ); |