| Index: trunk/phase3/includes/specials/SpecialExport.php |
| — | — | @@ -68,7 +68,7 @@ |
| 69 | 69 | $page = $wgRequest->getText( 'pages' ); |
| 70 | 70 | $nsindex = $wgRequest->getText( 'nsindex', '' ); |
| 71 | 71 | |
| 72 | | - if ( $nsindex !== '' && $nsindex !== null && $nsindex !== false ) { |
| | 72 | + if ( strval( $nsindex ) !== '' ) { |
| 73 | 73 | /** |
| 74 | 74 | * Same implementation as above, so same @fixme |
| 75 | 75 | */ |