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