intelephense

Index: package/lib/stub/mongodb/Exception/WriteException.php
===================================================================
--- package/lib/stub/mongodb/Exception/WriteException.php
+++ package/lib/stub/mongodb/Exception/WriteException.php
@@ -1,26 +0,0 @@
-<?php
-
-namespace MongoDB\Driver\Exception;
-
-use MongoDB\Driver\WriteResult;
-
-/**
- * Base class for exceptions thrown by a failed write operation.
- * The exception encapsulates a MongoDB\Driver\WriteResult object.
- * @link https://php.net/manual/en/class.mongodb-driver-exception-writeexception.php
- * @since 1.0.0
- * @deprecated use MongoDB\Driver\Exception\BulkWriteException instead
- */
-abstract class WriteException extends ServerException implements Exception
-{
-    /**
-     * @var WriteResult associated with the failed write operation.
-     */
-    protected $writeResult;
-
-    /**
-     * @return WriteResult for the failed write operation
-     * @since 1.0.0
-     */
-    final public function getWriteResult(): WriteResult {}
-}