D7net
Home
Console
Upload
information
Create File
Create Folder
About
Tools
:
/
usr
/
local
/
psa
/
admin
/
plib
/
modules
/
wp-toolkit
/
vendor
/
symfony
/
config
/
Resource
/
Filename :
FileResource.php
back
Copy
<?php /* * This file is part of the Symfony package. * * (c) Fabien Potencier <fabien@symfony.com> * * For the full copyright and license information, please view the LICENSE * file that was distributed with this source code. */ namespace WPToolkitDependenciesIsolationPrefix\Symfony\Component\Config\Resource; /** * FileResource represents a resource stored on the filesystem. * * The resource can be a file or a directory. * * @author Fabien Potencier <fabien@symfony.com> * * @final */ class FileResource implements SelfCheckingResourceInterface { private string $resource; /** * @param string $resource The file path to the resource * * @throws \InvalidArgumentException */ public function __construct(string $resource) { $resolvedResource = \realpath($resource) ?: (\file_exists($resource) ? $resource : \false); if (\false === $resolvedResource) { throw new \InvalidArgumentException(\sprintf('The file "%s" does not exist.', $resource)); } $this->resource = $resolvedResource; } public function __toString() : string { return $this->resource; } /** * Returns the canonicalized, absolute path to the resource. */ public function getResource() : string { return $this->resource; } public function isFresh(int $timestamp) : bool { return \false !== ($filemtime = @\filemtime($this->resource)) && $filemtime <= $timestamp; } }