From 80d3db1dcf8fe9ca66d4e3f2e2116d3bc39ae2b4 Mon Sep 17 00:00:00 2001
From: Andrew Dolgov <noreply@fakecake.org>
Date: Tue, 12 Jul 2022 22:26:21 +0300
Subject: upgrade idiorm to php8.1-patched version (aaronpk/idiorm)

---
 vendor/thecodingmachine/safe/generated/mysqli.php | 42 -----------------------
 1 file changed, 42 deletions(-)
 delete mode 100644 vendor/thecodingmachine/safe/generated/mysqli.php

(limited to 'vendor/thecodingmachine/safe/generated/mysqli.php')

diff --git a/vendor/thecodingmachine/safe/generated/mysqli.php b/vendor/thecodingmachine/safe/generated/mysqli.php
deleted file mode 100644
index c8807af4a..000000000
--- a/vendor/thecodingmachine/safe/generated/mysqli.php
+++ /dev/null
@@ -1,42 +0,0 @@
-<?php
-
-namespace Safe;
-
-use Safe\Exceptions\MysqliException;
-
-/**
- * Returns an empty array.
- * Available only with mysqlnd.
- *
- * @return array Returns an empty array on success, FALSE otherwise.
- * @throws MysqliException
- *
- */
-function mysqli_get_cache_stats(): array
-{
-    error_clear_last();
-    $result = \mysqli_get_cache_stats();
-    if ($result === false) {
-        throw MysqliException::createFromPhpError();
-    }
-    return $result;
-}
-
-
-/**
- * Returns client per-process statistics.
- * Available only with mysqlnd.
- *
- * @return array Returns an array with client stats if success, FALSE otherwise.
- * @throws MysqliException
- *
- */
-function mysqli_get_client_stats(): array
-{
-    error_clear_last();
-    $result = \mysqli_get_client_stats();
-    if ($result === false) {
-        throw MysqliException::createFromPhpError();
-    }
-    return $result;
-}
-- 
cgit v1.2.3