| Index: trunk/phase3/maintenance/updateSearchIndex.php |
| — | — | @@ -33,7 +33,7 @@ |
| 34 | 34 | |
| 35 | 35 | if ( isset( $options['s'] ) ) { |
| 36 | 36 | $start = $options['s']; |
| 37 | | -elseif( is_readable( 'searchUpdate.pos' ) ) { |
| | 37 | +} elseif( is_readable( 'searchUpdate.pos' ) ) { |
| 38 | 38 | # B/c to the old position file name which was hardcoded |
| 39 | 39 | # We can safely delete the file when we're done though. |
| 40 | 40 | $start = file_get_contents( 'searchUpdate.pos' ); |