[php-src] Issue #7726: enums: is_case() function

From: Date: Mon, 06 Dec 2021 18:22:15 +0000
Subject: [php-src] Issue #7726: enums: is_case() function
Groups: php.bugs 
Request: Send a blank email to php-bugs+get-238224@lists.php.net to get a copy of this message
Issue: https://github.com/php/php-src/issues/7726 Closed by nikic.

« previous php.bugs (#238224) next »