[php-src] Issue #7726: enums: is_case() function
| From: | noreply@php.net | Date: | Mon, 06 Dec 2021 16:38:10 +0000 |
| Subject: | [php-src] Issue #7726: enums: is_case() function | ||
| Groups: | php.bugs | ||
| Request: | Send a blank email to php-bugs+get-238219@lists.php.net to get a copy of this message | ||
Issue: https://github.com/php/php-src/issues/7726
Comment Author: cmb69
AFAIK, that has been discussed an rejected in favor of doing an
instanceof check
(potentially combined with an is_object check). @Crell, can you please clarify?