diff vendor/psy/psysh/src/Psy/Output/OutputPager.php @ 0:4c8ae668cc8c

Initial import (non-working)

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/vendor/psy/psysh/src/Psy/Output/OutputPager.php	Wed Nov 29 16:09:58 2017 +0000
@@ -0,0 +1,26 @@
+<?php
+
+/*
+ * This file is part of Psy Shell.
+ *
+ * (c) 2012-2017 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
+{
+    /**
+     * Close the current pager process.
+     */
+    public function close();
+}