[php-src] Issue #8358: Interface "DateTimeInterface" not found
| From: | arnaud-lb | Date: | Sun, 17 Apr 2022 08:55:46 +0000 |
| Subject: | [php-src] Issue #8358: Interface "DateTimeInterface" not found | ||
| Groups: | php.bugs | ||
| Request: | Send a blank email to php-bugs+get-241038@lists.php.net to get a copy of this message | ||
Issue: https://github.com/php/php-src/issues/8358
Comment Author: arnaud-lb
Thank you @SCIF
For now I haven't succeeded in reproducing the issue locally.
If someone else wants to look at this, here is what I tried: https://github.com/arnaud-lb/issue-8358