From b398da60042adb3657bfc4908f176157376f4659 Mon Sep 17 00:00:00 2001 From: Daniel Kinzler Date: Sat, 6 Jun 2009 15:39:42 +0000 Subject: [PATCH] fixed missing } (thanks HardDisk) --- maintenance/updateSearchIndex.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/maintenance/updateSearchIndex.php b/maintenance/updateSearchIndex.php index 571e65fe3b..5fa24ad691 100644 --- a/maintenance/updateSearchIndex.php +++ b/maintenance/updateSearchIndex.php @@ -33,7 +33,7 @@ if ( isset( $options['e'] ) ) { if ( isset( $options['s'] ) ) { $start = $options['s']; -elseif( is_readable( 'searchUpdate.pos' ) ) { +} elseif( is_readable( 'searchUpdate.pos' ) ) { # B/c to the old position file name which was hardcoded # We can safely delete the file when we're done though. $start = file_get_contents( 'searchUpdate.pos' ); -- 2.20.1