All checks were successful
Build, Push and Deploy / build-and-push (push) Successful in 3m3s
Gitea Actions Demo / Explore-Gitea-Actions (push) Successful in 16s
Build, Push and Deploy / deploy-staging (push) Successful in 32s
Build, Push and Deploy / deploy-production (push) Has been skipped
Build, Push and Deploy / cleanup (push) Successful in 1s
36 lines
885 B
PHP
36 lines
885 B
PHP
<?php
|
|
|
|
/*
|
|
* This file is part of Psy Shell.
|
|
*
|
|
* (c) 2012-2025 Justin Hileman
|
|
*
|
|
* For the full copyright and license information, please view the LICENSE
|
|
* file that was distributed with this source code.
|
|
*/
|
|
|
|
namespace Psy\Output;
|
|
|
|
use Symfony\Component\Console\Output\OutputInterface;
|
|
|
|
/**
|
|
* An output pager is much the same as a regular OutputInterface, but allows
|
|
* the stream to be flushed to a pager periodically.
|
|
*/
|
|
interface OutputPager extends OutputInterface
|
|
{
|
|
// TODO: Add doWrite to the OutputPager interface.
|
|
// /**
|
|
// * Writes a message to the output.
|
|
// *
|
|
// * @param string $message A message to write to the output
|
|
// * @param bool $newline Whether to add a newline or not
|
|
// */
|
|
// public function doWrite($message, $newline): void;
|
|
|
|
/**
|
|
* Close the current pager process.
|
|
*/
|
|
public function close();
|
|
}
|