original_string: protected function magic_get_navigation() {
          if ($this->_navigation === null) {
              $this->_navigation = new global_navigation($this);
          }
          return $this->_navigation;
      }
code: protected function magic_get_navigation() {
          if ($this->_navigation === null) {
              $this->_navigation = new global_navigation($this);
          }
          return $this->_navigation;
      }
code_tokens: protected function magic_get_navigation ( ) { if ( $ this -> _navigation === null ) { $ this -> _navigation = new global_navigation ( $ this ) ; } return $ this -> _navigation ; }
docstring: Return the navigation object
  @return global_navigation
docstring_tokens: Return the navigation object