Насколько помню плагин этот
Насколько помню плагин этот всегда отстает на несколько версий от актуальной. Сам редактор "дубоватый" и нет особых преимуществ по сравнению с другими. Фактически сейчас лидер из платных редакторов - это PhpStorm. Для тех кого не устраивают тяжелые IDE есть пачка бесплатных текстовых редакторов с довольно продвинутыми возможностями (если подключить необходимые плагины). Например Sublime Text, Notepad++, ...