| Index: trunk/extensions/MobileFrontend/MobileFrontend.php |
| — | — | @@ -48,7 +48,7 @@ |
| 49 | 49 | 'onOutputPageBeforeHTML' ); |
| 50 | 50 | |
| 51 | 51 | class ExtMobileFrontend { |
| 52 | | - const VERSION = '0.5.2'; |
| | 52 | + const VERSION = '0.5.3'; |
| 53 | 53 | |
| 54 | 54 | private $doc; |
| 55 | 55 | |
| — | — | @@ -103,7 +103,7 @@ |
| 104 | 104 | ); |
| 105 | 105 | |
| 106 | 106 | public function onOutputPageBeforeHTML( &$out, &$text ) { |
| 107 | | - global $wgContLang, $wgRequest; |
| | 107 | + global $wgContLang, $wgRequest, $wgMemc; |
| 108 | 108 | |
| 109 | 109 | // Need to stash the results of the "wfMsg" call before the Output Buffering handler |
| 110 | 110 | // because at this point the database connection is shut down, etc. |