File manager - Edit - /usr/share/php/phpDocumentor/Reflection/File.php
Back
<?php declare(strict_types=1); /** * This file is part of phpDocumentor. * * For the full copyright and license information, please view the LICENSE * file that was distributed with this source code. * * @link http://phpdoc.org */ namespace phpDocumentor\Reflection; /** * Interface for files processed by the ProjectFactory */ interface File { /** * Returns the content of the file as a string. */ public function getContents() : string; /** * Returns md5 hash of the file. */ public function md5() : string; /** * Returns an relative path to the file. */ public function path() : string; }
| ver. 1.4 |
Github
|
.
| PHP 8.3.30 | Generation time: 0 |
proxy
|
phpinfo
|
Settings