Notice: Undefined property: PostgresSearchResult::$mRevision in /data/home/river...

diff --git a/includes/SearchEngine.php b/includes/SearchEngine.php
index 6af2bb3..c065495 100644 (file)
--- a/includes/SearchEngine.php
+++ b/includes/SearchEngine.php
@@ -489,6 +489,7 @@ class SearchResultTooMany {
  * @addtogroup Search
  */
 class SearchResult {
+       var $mRevision = null;
 
        function SearchResult( $row ) {
                $this->mTitle = Title::makeTitle( $row->page_namespace, $row->page_title );