Code style tweak, use strval() to make this all much shorter.

diff --git a/includes/specials/SpecialExport.php b/includes/specials/SpecialExport.php
index 06bf34a..7e500f7 100644 (file)
--- a/includes/specials/SpecialExport.php
+++ b/includes/specials/SpecialExport.php
@@ -68,7 +68,7 @@ class SpecialExport extends SpecialPage {
                        $page = $wgRequest->getText( 'pages' );
                        $nsindex = $wgRequest->getText( 'nsindex', '' );
                        
-                       if ( $nsindex !== '' && $nsindex !== null && $nsindex !== false ) {
+                       if ( strval( $nsindex ) !== ''  ) {
                                /**
                                 * Same implementation as above, so same @fixme
                                 */