wikimedia / mediawiki

includes/search/SearchNearMatchResultSet.php

<?php
/**
 * A SearchResultSet wrapper for SearchNearMatcher
 */
class SearchNearMatchResultSet extends SearchResultSet {
	private $fetched = false;

	/**
	 * @param Title|null $match Title if matched, else null
	 */
	public function __construct( $match ) {
		$this->result = $match;

The property result does not seem to exist. Did you mean results?

	}

	public function numRows() {
		return $this->result ? 1 : 0;

The property result does not seem to exist. Did you mean results?

	}

	public function next() {
		if ( $this->fetched || !$this->result ) {

The property result does not seem to exist. Did you mean results?

			return false;
		}
		$this->fetched = true;
		return SearchResult::newFromTitle( $this->result, $this );
	}

	public function rewind() {
		$this->fetched = false;
	}
}