PhpStorm 找不到日期时间

PhpStorm can't find DateTime

出于某种原因,PhpStorm 找不到默认的 PHP 的 DateTime class.

我正在使用 PHP 7.4,它也在 IDE 设置中进行了设置。我清除了缓存并重新索引了 IDE,但它仍然显示为黄色。此外,当我单击导入时,它仅显示来自第 3 方库的 DateTime classes。

我也试过 \DateTime 结果相同。

以前版本的 PhpStorm (2020.3.0) 在链接关联文件时存在一些问题。我想这可能会导致这个问题。您使用的是最新版本 (2020.3.1) 吗?

来自@LazyOne 的评论为我修复了它

Check

删除缓存文件夹:~/.cache/JetBrains/PhpStorm2020.3/caches