wikimedia / mediawiki

		$titles = $searchEngine->extractTitles( $searchEngine->completionSearchWithVariants( $search ) );

		if ( $resultPageSet ) {

			$resultPageSet->setRedirectMergePolicy( function( array $current, array $new ) {

				if ( !isset( $current['index'] ) || $new['index'] < $current['index'] ) {

					$current['index'] = $new['index'];

				}

				return $current;

			} );

			if ( count( $titles ) > $limit ) {

				$this->setContinueEnumParameter( 'offset', $offset + $limit );

				array_pop( $titles );

				], 'p' );

			}

		} else {

			$resultPageSet->setRedirectMergePolicy( function ( $current, $new ) {

				if ( !isset( $current['index'] ) || $new['index'] < $current['index'] ) {

					$current['index'] = $new['index'];

				}

				return $current;

			} );

			$resultPageSet->populateFromTitles( $titles );

			$offset = $params['offset'] + 1;

			foreach ( $titles as $index => $title ) {