Over the years this has shown up a few times because PHP internally was using a locale dependent function to normalize the class names, but it was also doing it

Over the years this has shown up a few times because PHP internally was using a locale dependent function to normalize the class names, but it was also doing it inconsistently in a few places. The bug was active for years and has resurfaced more than once: https://bugs.php.net/bug.php?id=18556 https://bugs.php.net/bug.php?id=18556