original_string: public function getTerminalHeight()
      {
          if ($this->isInteractiveShell()
              || (strtoupper(substr(PHP_OS, 0, 3)) === 'WIN' && getenv('shell'))
          ) {
              return (int)shell_exec('tput lines');
          }
  
          return self::TERMINAL_DEFAULT_HEIGHT;
      }
code: public function getTerminalHeight()
      {
          if ($this->isInteractiveShell()
              || (strtoupper(substr(PHP_OS, 0, 3)) === 'WIN' && getenv('shell'))
          ) {
              return (int)shell_exec('tput lines');
          }
  
          return self::TERMINAL_DEFAULT_HEIGHT;
      }
code_tokens: public function getTerminalHeight ( ) { if ( $ this -> isInteractiveShell ( ) || ( strtoupper ( substr ( PHP_OS , 0 , 3 ) ) === 'WIN' && getenv ( 'shell' ) ) ) { return ( int ) shell_exec ( 'tput lines' ) ; } return self :: TERMINAL_DEFAULT_HEIGHT ; }
docstring: Return the terminal height. If not an interactive shell, return default.
  
  @return int
  
  @codeCoverageIgnore
docstring_tokens: Return the terminal height . If not an interactive shell return default .