| Index: branches/wmf/1.17wmf1/extensions/MobileFrontend/MobileFrontend.php |
| — | — | @@ -49,7 +49,7 @@ |
| 50 | 50 | $wgHooks['SkinTemplateOutputPageBeforeExec'][] = array( &$wgExtMobileFrontend, 'addMobileFooter' ); |
| 51 | 51 | |
| 52 | 52 | class ExtMobileFrontend { |
| 53 | | - const VERSION = '0.5.14'; |
| | 53 | + const VERSION = '0.5.15'; |
| 54 | 54 | |
| 55 | 55 | /** |
| 56 | 56 | * @var DOMDocument |
| — | — | @@ -320,7 +320,7 @@ |
| 321 | 321 | |
| 322 | 322 | // Determine |
| 323 | 323 | |
| 324 | | - $xDevice = $_SERVER['HTTP_X_DEVICE']; |
| | 324 | + $xDevice = isset( $_SERVER['HTTP_X_DEVICE'] ) ? $_SERVER['HTTP_X_DEVICE'] : ''; |
| 325 | 325 | |
| 326 | 326 | if (self::$useFormat === 'mobile' || |
| 327 | 327 | self::$useFormat === 'mobile-wap' || |