<?php
+
+use Wikimedia\Rdbms\ResultWrapper;
+
/**
* This class is used for different SQL-based search engines shipped with MediaWiki
* @ingroup Search
}
return SearchResult::newFromTitle(
- Title::makeTitle( $row->page_namespace, $row->page_title )
+ Title::makeTitle( $row->page_namespace, $row->page_title ), $this
);
}