File manager - Edit - /var/www/payraty/helpdesk/vendor/jetbrains/phpstorm-stubs/mongodb/Monitoring/ServerChangedEvent.php
Back
<?php namespace MongoDB\Driver\Monitoring; use MongoDB\BSON\ObjectId; use MongoDB\Driver\ServerDescription; /** * @since 1.13.0 */ final class ServerChangedEvent { final private function __construct() {} /** * Returns the port on which this server is listening * @link https://www.php.net/manual/en/mongodb-driver-monitoring-serverchangedevent.getport.php */ final public function getPort(): int {} /** * Returns the hostname of the server * @link https://www.php.net/manual/en/mongodb-driver-monitoring-serverchangedevent.gethost.php */ final public function getHost(): string {} /** * Returns the new description for the server * @link https://www.php.net/manual/en/mongodb-driver-monitoring-serverchangedevent.getnewdescription.php */ final public function getNewDescription(): ServerDescription {} /** * Returns the previous description for the server * @link https://www.php.net/manual/en/mongodb-driver-monitoring-serverchangedevent.getpreviousdescription.php */ final public function getPreviousDescription(): ServerDescription {} /** * Returns the topology ID associated with this server * @link https://www.php.net/manual/en/mongodb-driver-monitoring-serverchangedevent.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