| Index: trunk/extensions/MobileFrontend/MobileFormatter.php |
| — | — | @@ -19,7 +19,6 @@ |
| 20 | 20 | */ |
| 21 | 21 | protected $title; |
| 22 | 22 | |
| 23 | | - protected $enableJavaScript = false; |
| 24 | 23 | protected $expandableSections = false; |
| 25 | 24 | |
| 26 | 25 | private $headings = 0; |
| — | — | @@ -112,10 +111,6 @@ |
| 113 | 112 | return $this->format; |
| 114 | 113 | } |
| 115 | 114 | |
| 116 | | - public function enableJavaScript( $flag = true ) { |
| 117 | | - $this->enableJavaScript = $flag; |
| 118 | | - } |
| 119 | | - |
| 120 | 115 | public function enableExpandableSections( $flag = true ) { |
| 121 | 116 | $this->expandableSections = $flag; |
| 122 | 117 | } |
| Index: trunk/extensions/MobileFrontend/MobileFrontend.body.php |
| — | — | @@ -1066,7 +1066,6 @@ |
| 1067 | 1067 | |
| 1068 | 1068 | $formatter = new MobileFormatter( $html, self::$title, $this->contentFormat, $this->wmlContext ); |
| 1069 | 1069 | $formatter->useMessages( self::$messages ); |
| 1070 | | - $formatter->enableJavaScript( self::$device['supports_javascript'] ); |
| 1071 | 1070 | $doc = $formatter->getDoc(); |
| 1072 | 1071 | |
| 1073 | 1072 | $zeroRatedBannerElement = $doc->getElementById( 'zero-rated-banner' ); |