Kann mir jemand sagen, um welchen Editor es sich handelt?

Antwortinhalt:

Ich bin mir sicher, dass es von Jetbrains stammt. Es sieht aus, als wäre es eine gespeicherte Prozedur.

phpstorm

Jetbrains-Produkte wie Webstorm, PHPstorm, IDEA usw.

Es ist tatsächlich von Jetbrains. In der oberen rechten Ecke befindet sich Laravel, also sollte es PHPstorm sein