| Index: trunk/extensions/LanguageSelector/LanguageSelector.php |
| — | — | @@ -113,6 +113,8 @@ |
| 114 | 114 | if ( $setlang != $wgUser->getOption( 'language' ) ) { |
| 115 | 115 | $wgUser->setOption( 'language', $wgLanguageSelectorRequestedLanguage ); |
| 116 | 116 | $wgUser->saveSettings(); |
| | 117 | + // Reset $wgLang so that user's language is immediately changed |
| | 118 | + $wgLang = new StubUserLang; |
| 117 | 119 | } |
| 118 | 120 | } |
| 119 | 121 | |