diff options
| author | wn_ <invalid@email.com> | 2024-12-09 17:58:28 +0000 |
|---|---|---|
| committer | wn_ <invalid@email.com> | 2024-12-09 17:58:28 +0000 |
| commit | f6a8facfd4bfc40025c069eebc37094d826aff58 (patch) | |
| tree | 871aab0d8adafe736d954cae1783c260699c0ec3 /vendor/thecodingmachine/safe/generated/opcache.php | |
| parent | cd2c10f9f71409df24fc74c1bbd7d5ddbf48d991 (diff) | |
Bump 'spomky-labs/otphp' to 11.3.x.
This is mainly for PHP 8.4 compatibility.
Diffstat (limited to 'vendor/thecodingmachine/safe/generated/opcache.php')
| -rw-r--r-- | vendor/thecodingmachine/safe/generated/opcache.php | 43 |
1 files changed, 0 insertions, 43 deletions
diff --git a/vendor/thecodingmachine/safe/generated/opcache.php b/vendor/thecodingmachine/safe/generated/opcache.php deleted file mode 100644 index dcac85493..000000000 --- a/vendor/thecodingmachine/safe/generated/opcache.php +++ /dev/null @@ -1,43 +0,0 @@ -<?php - -namespace Safe; - -use Safe\Exceptions\OpcacheException; - -/** - * This function compiles a PHP script and adds it to the opcode cache without - * executing it. This can be used to prime the cache after a Web server - * restart by pre-caching files that will be included in later requests. - * - * @param string $filename The path to the PHP script to be compiled. - * @throws OpcacheException - * - */ -function opcache_compile_file(string $filename): void -{ - error_clear_last(); - $result = \opcache_compile_file($filename); - if ($result === false) { - throw OpcacheException::createFromPhpError(); - } -} - - -/** - * This function returns state information about the in-memory cache instance. It will not return any - * information about the file cache. - * - * @param bool $include_scripts Include script specific state information - * @return array Returns an array of information, optionally containing script specific state information. - * @throws OpcacheException - * - */ -function opcache_get_status(bool $include_scripts = true): array -{ - error_clear_last(); - $result = \opcache_get_status($include_scripts); - if ($result === false) { - throw OpcacheException::createFromPhpError(); - } - return $result; -} |