From a7e17cb70e9306f8887bd2b5ca1a37edcbe3ea0f Mon Sep 17 00:00:00 2001 From: Stefan Suhren Date: Mon, 11 May 2015 15:02:33 +0200 Subject: Let composer manage its own files --- .../Config/Resource/ResourceInterface.php | 43 ---------------------- 1 file changed, 43 deletions(-) delete mode 100644 Aufgabe06/vendor/symfony/config/Symfony/Component/Config/Resource/ResourceInterface.php (limited to 'Aufgabe06/vendor/symfony/config/Symfony/Component/Config/Resource/ResourceInterface.php') diff --git a/Aufgabe06/vendor/symfony/config/Symfony/Component/Config/Resource/ResourceInterface.php b/Aufgabe06/vendor/symfony/config/Symfony/Component/Config/Resource/ResourceInterface.php deleted file mode 100644 index db03d12..0000000 --- a/Aufgabe06/vendor/symfony/config/Symfony/Component/Config/Resource/ResourceInterface.php +++ /dev/null @@ -1,43 +0,0 @@ - - * - * For the full copyright and license information, please view the LICENSE - * file that was distributed with this source code. - */ - -namespace Symfony\Component\Config\Resource; - -/** - * ResourceInterface is the interface that must be implemented by all Resource classes. - * - * @author Fabien Potencier - */ -interface ResourceInterface -{ - /** - * Returns a string representation of the Resource. - * - * @return string A string representation of the Resource - */ - public function __toString(); - - /** - * Returns true if the resource has not been updated since the given timestamp. - * - * @param int $timestamp The last time the resource was loaded - * - * @return bool True if the resource has not been updated, false otherwise - */ - public function isFresh($timestamp); - - /** - * Returns the tied resource. - * - * @return mixed The resource - */ - public function getResource(); -} -- cgit v1.2.3-70-g09d2