original_string: protected function magic_get_settingsnav() {
          if ($this->_settingsnav === null) {
              $this->_settingsnav = new settings_navigation($this);
              $this->_settingsnav->initialise();
          }
          return $this->_settingsnav;
      }
code: protected function magic_get_settingsnav() {
          if ($this->_settingsnav === null) {
              $this->_settingsnav = new settings_navigation($this);
              $this->_settingsnav->initialise();
          }
          return $this->_settingsnav;
      }
code_tokens: protected function magic_get_settingsnav ( ) { if ( $ this -> _settingsnav === null ) { $ this -> _settingsnav = new settings_navigation ( $ this ) ; $ this -> _settingsnav -> initialise ( ) ; } return $ this -> _settingsnav ; }
docstring: Returns the settings navigation object
  @return settings_navigation
docstring_tokens: Returns the settings navigation object