diff vendor/psy/psysh/src/ExecutionLoop/RunkitReloader.php @ 17:129ea1e6d783

Update, including to Drupal core 8.6.10

--- a/vendor/psy/psysh/src/ExecutionLoop/RunkitReloader.php	Tue Jul 10 15:07:59 2018 +0100
+++ b/vendor/psy/psysh/src/ExecutionLoop/RunkitReloader.php	Thu Feb 28 13:21:36 2019 +0000
@@ -30,7 +30,7 @@
      */
     public static function isSupported()
     {
-        return extension_loaded('runkit');
+        return \extension_loaded('runkit');
     }
 
     /**
@@ -62,11 +62,11 @@
      */
     private function reload(Shell $shell)
     {
-        clearstatcache();
+        \clearstatcache();
         $modified = [];
 
-        foreach (get_included_files() as $file) {
-            $timestamp = filemtime($file);
+        foreach (\get_included_files() as $file) {
+            $timestamp = \filemtime($file);
 
             if (!isset($this->timestamps[$file])) {
                 $this->timestamps[$file] = $timestamp;
@@ -78,7 +78,7 @@
             }
 
             if (!$this->lintFile($file)) {
-                $msg = sprintf('Modified file "%s" could not be reloaded', $file);
+                $msg = \sprintf('Modified file "%s" could not be reloaded', $file);
                 $shell->writeException(new ParseErrorException($msg));
                 continue;
             }
@@ -125,7 +125,7 @@
     {
         // first try to parse it
         try {
-            $this->parser->parse(file_get_contents($file));
+            $this->parser->parse(\file_get_contents($file));
         } catch (\Exception $e) {
             return false;
         }