fixed missing } (thanks HardDisk)

diff --git a/maintenance/updateSearchIndex.php b/maintenance/updateSearchIndex.php
index 571e65f..5fa24ad 100644 (file)
--- 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' );