protected getIndexManager ( ) : |
||
return |
protected function getIndexManager()
{
if ($this->index_manager === null) {
$this->index_manager = new IndexManager($this);
}
return $this->index_manager;
}