File manager - Edit - /var/www/payraty/helpdesk/vendor/jetbrains/phpstorm-stubs/mongodb/Monitoring/ServerOpeningEvent.php
Back
<?php namespace MongoDB\Driver\Monitoring; use MongoDB\BSON\ObjectId; /** * @since 1.13.0 */ final class ServerOpeningEvent { final private function __construct() {} /** * Returns the port on which this server is listening * @link https://www.php.net/manual/en/mongodb-driver-monitoring-serveropeningevent.getport.php */ final public function getPort(): int {} /** * Returns the hostname of the server * @link https://www.php.net/manual/en/mongodb-driver-monitoring-serveropeningevent.gethost.php */ final public function getHost(): string {} /** * Returns the topology ID associated with this server * @link https://www.php.net/manual/en/mongodb-driver-monitoring-serveropeningevent.gettopologyid.php */ final public function getTopologyId(): ObjectId {} final public function __wakeup(): void {} }
| ver. 1.4 |
Github
|
.
| PHP 8.3.30 | Generation time: 0 |
proxy
|
phpinfo
|
Settings