Can anyone tell me what editor this is?

Reply content:

I’m sure it’s from Jetbrains. It looks like it’s a stored procedure, so I guess it’s Datagrip

phpstorm

Jetbrains products, such as webstorm, phpstorm, IDEA, etc.

It is indeed from jetbrains. Look at the laravel in the upper right corner, so it should be phpstorm