From c1f9b1f7b1b77776192048005dcc66dcf3df2bfb Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Sat, 27 Dec 2014 15:41:37 +0100 Subject: Update to MediaWiki 1.24.1 --- maintenance/getText.php | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'maintenance/getText.php') diff --git a/maintenance/getText.php b/maintenance/getText.php index 9c4bdfb8..7d7c1cc4 100644 --- a/maintenance/getText.php +++ b/maintenance/getText.php @@ -52,7 +52,10 @@ class GetTextMaint extends Maintenance { $titleText = $title->getPrefixedText(); $this->error( "Page $titleText does not exist.\n", true ); } - $content = $rev->getContent( $this->hasOption( 'show-private' ) ? Revision::RAW : Revision::FOR_PUBLIC ); + $content = $rev->getContent( $this->hasOption( 'show-private' ) + ? Revision::RAW + : Revision::FOR_PUBLIC ); + if ( $content === false ) { $titleText = $title->getPrefixedText(); $this->error( "Couldn't extract the text from $titleText.\n", true ); -- cgit v1.2.3-54-g00ecf