PhpStorm 2019.3.1 RC 发布，PHP IDE

PhpStorm 2019.3.1 RC 发布了，更新内容如下：

• 修复：格式代码错误地将列表更改为数组分解 (WI-49966 +12)
• 修复：在数据库表视图/编辑器中有很多列时滚动速度过慢 (DBE-9604 +10)
• 新增：新选项 Editor | General | Smart Keys | PHP | Auto-insert ‘<?php’ tag after typing ‘<?’ (WI-49962 +9)
• 修复：添加属性类型修改库中的父类 (WI-49957 +4)
• 修复：如果拆分了编辑器选项卡，则在关闭工具窗口后失去焦点 (IDEA-227102 +4)

更新说明：

https://blog.jetbrains.com/phpstorm/2019/12/phpstorm-2019-3-1-rc/