diff vendor/psy/psysh/src/Output/ProcOutputPager.php @ 17:129ea1e6d783

Update, including to Drupal core 8.6.10

--- a/vendor/psy/psysh/src/Output/ProcOutputPager.php	Tue Jul 10 15:07:59 2018 +0100
+++ b/vendor/psy/psysh/src/Output/ProcOutputPager.php	Thu Feb 28 13:21:36 2019 +0000
@@ -51,14 +51,14 @@
     public function doWrite($message, $newline)
     {
         $pipe = $this->getPipe();
-        if (false === @fwrite($pipe, $message . ($newline ? PHP_EOL : ''))) {
+        if (false === @\fwrite($pipe, $message . ($newline ? PHP_EOL : ''))) {
             // @codeCoverageIgnoreStart
             // should never happen
             throw new \RuntimeException('Unable to write output');
             // @codeCoverageIgnoreEnd
         }
 
-        fflush($pipe);
+        \fflush($pipe);
     }
 
     /**
@@ -67,11 +67,11 @@
     public function close()
     {
         if (isset($this->pipe)) {
-            fclose($this->pipe);
+            \fclose($this->pipe);
         }
 
         if (isset($this->proc)) {
-            $exit = proc_close($this->proc);
+            $exit = \proc_close($this->proc);
             if ($exit !== 0) {
                 throw new \RuntimeException('Error closing output stream');
             }
@@ -88,10 +88,10 @@
     private function getPipe()
     {
         if (!isset($this->pipe) || !isset($this->proc)) {
-            $desc = [['pipe', 'r'], $this->stream, fopen('php://stderr', 'w')];
-            $this->proc = proc_open($this->cmd, $desc, $pipes);
+            $desc = [['pipe', 'r'], $this->stream, \fopen('php://stderr', 'w')];
+            $this->proc = \proc_open($this->cmd, $desc, $pipes);
 
-            if (!is_resource($this->proc)) {
+            if (!\is_resource($this->proc)) {
                 throw new \RuntimeException('Error opening output stream');
             }