From 8c22e0f5ac67667ce0f128e8b306caa4ef7ceda0 Mon Sep 17 00:00:00 2001 From: "D.H.J. Takken" Date: Sat, 6 Jul 2019 21:55:10 +0200 Subject: [PATCH] Add stub for zookeeper extension --- PhpStormStubsMap.php | 8 + zookeeper/zookeeper.php | 417 ++++++++++++++++++++++++++++++++++++++++ 2 files changed, 425 insertions(+) create mode 100644 zookeeper/zookeeper.php diff --git a/PhpStormStubsMap.php b/PhpStormStubsMap.php index a0430774..5ee1efc3 100644 --- a/PhpStormStubsMap.php +++ b/PhpStormStubsMap.php @@ -647,6 +647,14 @@ const CLASSES = array ( 'ZendAPI_Job' => 'zend/zend.php', 'ZendAPI_Queue' => 'zend/zend.php', 'ZipArchive' => 'zip/zip.php', + 'Zookeeper' => 'zookeeper/zookeeper.php', + 'ZookeeperAuthenticationException' => 'zookeeper/zookeeper.php', + 'ZookeeperConnectionException' => 'zookeeper/zookeeper.php', + 'ZookeeperException' => 'zookeeper/zookeeper.php', + 'ZookeeperMarshallingException' => 'zookeeper/zookeeper.php', + 'ZookeeperNoNodeException' => 'zookeeper/zookeeper.php', + 'ZookeeperOperationTimeoutException' => 'zookeeper/zookeeper.php', + 'ZookeeperSessionException' => 'zookeeper/zookeeper.php', '__PHP_Incomplete_Class' => 'standard/standard_0.php', '___PHPSTORM_HELPERS\\PS_UNRESERVE_PREFIX_static' => 'standard/_types.php', '___PHPSTORM_HELPERS\\PS_UNRESERVE_PREFIX_this' => 'standard/_types.php', diff --git a/zookeeper/zookeeper.php b/zookeeper/zookeeper.php new file mode 100644 index 00000000..8063596b --- /dev/null +++ b/zookeeper/zookeeper.php @@ -0,0 +1,417 @@ +