PhpStorm 2020.1.3 发布了，主要更新内容有：
- 修复：使用 2020.1 中的 UI 字体时，子像素（LCD）文本缓慢，切换到灰度抗锯齿功能会有所帮助
- 修复：缩短 DataGrid 中的选项卡名称
- 修复：如果一个 trait 使用另一个 trait 并覆盖该方法，则特质冲突为假阳性
- 修复：数据库 – 将数据源添加为 DDL – 仅添加文件以外的整个文件夹
- 修复：UI 冻结：com.intellij.openapi.module.impl.ModuleGroupersKt.splitByDotsJoiningIncorrectIdentifiers
- 修复：大文件被截断时，IDE 冻结/崩溃
- 修复：PHPStorm 冻结 – Win10 x64
更新说明：https://blog.jetbrains.com/phpstorm/2020/07/phpstorm-2020-1-3-is-released/ | 
