diff --git a/src/polyfill.php b/src/polyfill.php index e101e0e31..62194f9ca 100644 --- a/src/polyfill.php +++ b/src/polyfill.php @@ -8,8 +8,8 @@ if (defined('MADELINE_POLYFILLED')) { define('MADELINE_POLYFILLED', true); -if (PHP_VERSION_ID === 80202) { - echo('PHP 8.2.2 has a critical garbage collector bug, please switch to PHP 8.1, PHP 8.2.1 or PHP 8.2.3 once it gets released'); +if (PHP_VERSION_ID === 80202 || PHP_VERSION_ID === 80115) { + echo('PHP 8.2.2 and PHP 8.1.15 have a critical garbage collector bug, please switch to PHP 8.1.14, PHP 8.2.1 or PHP 8.2.3 once it gets released: https://github.com/php/php-src/issues/10496'); die(1); }