From 064515d8d53d823cb4580646bc0f84ce2c91e00e Mon Sep 17 00:00:00 2001 From: Brion Vibber Date: Tue, 25 Nov 2003 19:27:54 +0000 Subject: [PATCH] Skip bad titles --- includes/SpecialExport.php | 1 + 1 file changed, 1 insertion(+) diff --git a/includes/SpecialExport.php b/includes/SpecialExport.php index 9f23fbb521..33248cc2df 100644 --- a/includes/SpecialExport.php +++ b/includes/SpecialExport.php @@ -46,6 +46,7 @@ function pages2xml( $pages, $curonly = false ) { function page2xml( $page, $curonly, $full = false ) { global $wgInputCharset, $wgLang; $title = Title::NewFromText( $page ); + if( !$title ) return ""; $t = wfStrencode( $title->getDBKey() ); $ns = $title->getNamespace(); $sql = "SELECT cur_id as id,cur_timestamp as timestamp,cur_user as user,cur_user_text as user_text," . -- 2.20.1