src/MFileInfo.php
public function refresh(): void
    {
        $this->size = null;
        $this->lastModified = null;
        $this->isReadable = null;
        $this->isWritable = null;
        $this->exists = null;
        $this->created = null;
        $this->isSymLink = null;
        $this->isDir = null;
        $this->isFile = null;
        $this->isExecutable = null;
        $this->ownerId = null;
        $this->owner = null;
        $this->group = null;
        $this->groupId = null;
        $this->lastRead = null;
    }
public function refresh(): void
    {
        $this->size = null;
        $this->lastModified = null;
        $this->isReadable = null;
        $this->isWritable = null;
        $this->exists = null;
        $this->created = null;
        $this->isSymLink = null;
        $this->isDir = null;
        $this->isFile = null;
        $this->isExecutable = null;
        $this->ownerId = null;
        $this->owner = null;
        $this->group = null;
        $this->groupId = null;
        $this->lastRead = null;
    }
public function refresh ( ) : void { $ this -> size = null ; $ this -> lastModified = null ; $ this -> isReadable = null ; $ this -> isWritable = null ; $ this -> exists = null ; $ this -> created = null ; $ this -> isSymLink = null ; $ this -> isDir = null ; $ this -> isFile = null ; $ this -> isExecutable = null ; $ this -> ownerId = null ; $ this -> owner = null ; $ this -> group = null ; $ this -> groupId = null ; $ this -> lastRead = null ; }
Refreshes the information about the file, i.e. reads in information from
the file system the next time a cached property is fetched.
Refreshes the information about the file i . e . reads in information from the file system the next time a cached property is fetched .