谁能告诉我这是什么编辑器

回复内容：

肯定Jetbrains家的无疑，看写的是存储过程，猜测是Datagrip

phpstorm

Jetbrains的产品，如webstorm,phpstorm,IDEA这些

的确是jetbrains家的，看右上角有个laravel，所以应该是phpstorm