Файловый менеджер - Редактировать - /var/www/html/mediawiki-1.43.1/vendor/wikimedia/shellbox/src/Command/ServerBoxedResult.php
Ðазад
<?php namespace Shellbox\Command; /** * A BoxedResult subclass used by ServerBoxedExecutor, providing simplified * output file handling. * * @internal */ class ServerBoxedResult extends BoxedResult { /** @var string[] */ private $fileNames = []; /** @var string[] */ private $sentFileNames = []; public function getFileNames() { return $this->fileNames; } public function getReceivedFileNames() { // Our sent files are your received files. Or to put it another way, // the client defines the terminology in the public interface. return $this->sentFileNames; } /** * @param string[] $fileNames * @param string[] $sentFileNames */ public function setFileNames( $fileNames, $sentFileNames ) { $this->fileNames = $fileNames; $this->sentFileNames = $sentFileNames; } }
| ver. 1.1 | |
.
| PHP 8.4.18 | Ð“ÐµÐ½ÐµÑ€Ð°Ñ†Ð¸Ñ Ñтраницы: 0 |
proxy
|
phpinfo
|
ÐаÑтройка