1 files changed, 0 insertions, 45 deletions
diff --git a/vendor/thecodingmachine/safe/generated/shmop.php b/vendor/thecodingmachine/safe/generated/shmop.php
deleted file mode 100644
index aa5d8f49c..000000000
--- a/vendor/thecodingmachine/safe/generated/shmop.php
+++ /dev/null
@@ -1,45 +0,0 @@
-<?php
-
-namespace Safe;
-
-use Safe\Exceptions\ShmopException;
-
-/**
- * shmop_delete is used to delete a shared memory block.
- *
- * @param resource $shmop The shared memory block resource created by
- * shmop_open
- * @throws ShmopException
- *
- */
-function shmop_delete($shmop): void
-{
-    error_clear_last();
-    $result = \shmop_delete($shmop);
-    if ($result === false) {
-        throw ShmopException::createFromPhpError();
-    }
-}
-
-
-/**
- * shmop_read will read a string from shared memory block.
- *
- * @param resource $shmop The shared memory block identifier created by
- * shmop_open
- * @param int $offset Offset from which to start reading
- * @param int $size The number of bytes to read.
- * 0 reads shmop_size($shmid) - $start bytes.
- * @return string Returns the data.
- * @throws ShmopException
- *
- */
-function shmop_read($shmop, int $offset, int $size): string
-{
-    error_clear_last();
-    $result = \shmop_read($shmop, $offset, $size);
-    if ($result === false) {
-        throw ShmopException::createFromPhpError();
-    }
-    return $result;
-}