wikimedia /
mediawiki
| @@ 52-57 (lines=6) @@ | ||
| 49 | exit( 1 ); |
|
| 50 | } |
|
| 51 | ||
| 52 | if ( isset( $options['lang'] ) ) { |
|
| 53 | $this->code = $options['lang']; |
|
| 54 | } else { |
|
| 55 | global $wgLanguageCode; |
|
| 56 | $this->code = $wgLanguageCode; |
|
| 57 | } |
|
| 58 | ||
| 59 | if ( isset( $options['level'] ) ) { |
|
| 60 | $this->level = $options['level']; |
|
| @@ 570-575 (lines=6) @@ | ||
| 567 | exit( 1 ); |
|
| 568 | } |
|
| 569 | ||
| 570 | if ( isset( $options['lang'] ) ) { |
|
| 571 | $this->code = $options['lang']; |
|
| 572 | } else { |
|
| 573 | global $wgLanguageCode; |
|
| 574 | $this->code = $wgLanguageCode; |
|
| 575 | } |
|
| 576 | ||
| 577 | if ( isset( $options['level'] ) ) { |
|
| 578 | $this->level = $options['level']; |
|
