| Index: trunk/extensions/Translate/tag/PageTranslationHooks.php |
| — | — | @@ -210,14 +210,13 @@ |
| 211 | 211 | |
| 212 | 212 | $options = $parser->getOptions(); |
| 213 | 213 | |
| 214 | | - // Backward compat for MediaWiki 1.17 |
| 215 | 214 | if ( method_exists( $options, 'getUserLang' ) ) { |
| 216 | 215 | $userLangCode = $options->getUserLang(); |
| 217 | | - $sk = $options->getSkin(); |
| 218 | | - } else { |
| | 216 | + $sk = false; |
| | 217 | + } else { // Backward compat for MediaWiki 1.17 |
| 219 | 218 | global $wgLang; |
| 220 | 219 | $userLangCode = $wgLang->getCode(); |
| 221 | | - $sk = false; |
| | 220 | + $sk = $options->getSkin(); |
| 222 | 221 | } |
| 223 | 222 | |
| 224 | 223 | $languages = array(); |