PhpStorm 2020.1.3 Preview发布

PhpStorm 2020.1.3 Preview 发布了，主要更新内容有：

• 修复：使用 2020.1 中的 UI 字体时，子像素（LCD）文本缓慢，切换到灰度抗锯齿功能会有所帮助
• 修复：UI 冻结：com.intellij.openapi.module.impl.ModuleGroupersKt.splitByDotsJoiningIncorrectIdentifiers
• 修复：大文件被截断时，IDE 冻结/崩溃
• 修复：PHPStorm 冻结 – Win10 x64
• 为 phpredis 扩展 RedisSentinel 类添加存根

更新说明：https://blog.jetbrains.com/phpstorm/2020/06/phpstorm-2020-1-3-preview/