| Index: trunk/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.13'; |
| | 53 | + const VERSION = '0.5.14'; |
| 54 | 54 | |
| 55 | 55 | /** |
| 56 | 56 | * @var DOMDocument |
| — | — | @@ -324,7 +324,7 @@ |
| 325 | 325 | |
| 326 | 326 | if (self::$useFormat === 'mobile' || |
| 327 | 327 | self::$useFormat === 'mobile-wap' || |
| 328 | | - isset( $xDevice) ) { |
| | 328 | + isset( $xDevice ) ) { |
| 329 | 329 | $this->getMsg(); |
| 330 | 330 | $this->disableCaching(); |
| 331 | 331 | ob_start( array( $this, 'DOMParse' ) ); |