diff -r 5b37998e522e -r 162c1de6545a web/lib/Zend/Search/Lucene/Index/TermInfo.php --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/web/lib/Zend/Search/Lucene/Index/TermInfo.php Fri Mar 11 15:05:35 2011 +0100 @@ -0,0 +1,80 @@ +docFreq = $docFreq; + $this->freqPointer = $freqPointer; + $this->proxPointer = $proxPointer; + $this->skipOffset = $skipOffset; + $this->indexPointer = $indexPointer; + } +} +