original_string: public function theme($theme = null)
      {
          deprecationWarning(
              'View::theme() is deprecated. ' .
              'Use getTheme()/setTheme() instead.'
          );
  
          if ($theme === null) {
              return $this->theme;
          }
  
          $this->theme = $theme;
      }
code: public function theme($theme = null)
      {
          deprecationWarning(
              'View::theme() is deprecated. ' .
              'Use getTheme()/setTheme() instead.'
          );
  
          if ($theme === null) {
              return $this->theme;
          }
  
          $this->theme = $theme;
      }
code_tokens: public function theme ( $ theme = null ) { deprecationWarning ( 'View::theme() is deprecated. ' . 'Use getTheme()/setTheme() instead.' ) ; if ( $ theme === null ) { return $ this -> theme ; } $ this -> theme = $ theme ; }
docstring: The view theme to use.
  
  @deprecated 3.5.0 Use getTheme()/setTheme() instead.
  @param string|null $theme Theme name. If null returns current theme.
  @return string|null
docstring_tokens: The view theme to use .