![]() Server : Apache System : Linux server2.corals.io 4.18.0-348.2.1.el8_5.x86_64 #1 SMP Mon Nov 15 09:17:08 EST 2021 x86_64 User : corals ( 1002) PHP Version : 7.4.33 Disable Function : exec,passthru,shell_exec,system Directory : /home/corals/mautic.corals.io/vendor/psy/psysh/src/Readline/ |
<?php /* * This file is part of Psy Shell. * * (c) 2012-2020 Justin Hileman * * For the full copyright and license information, please view the LICENSE * file that was distributed with this source code. */ namespace Psy\Readline; /** * An interface abstracting the various readline_* functions. */ interface Readline { /** * Check whether this Readline class is supported by the current system. * * @return bool */ public static function isSupported(); /** * Add a line to the command history. * * @param string $line * * @return bool Success */ public function addHistory($line); /** * Clear the command history. * * @return bool Success */ public function clearHistory(); /** * List the command history. * * @return array */ public function listHistory(); /** * Read the command history. * * @return bool Success */ public function readHistory(); /** * Read a single line of input from the user. * * @param string|null $prompt * * @return false|string */ public function readline($prompt = null); /** * Redraw readline to redraw the display. */ public function redisplay(); /** * Write the command history to a file. * * @return bool Success */ public function writeHistory(); }