Schlagwort: pipe

Die scheint es einfach nicht zu geben. Irgendwann habe ich auf Stackoverflow dann den Hinweis gefunden, einfach in PHPStorm nach „@event“ zu suchen. Schön und gut. Aber bei der Anzahl an definierten Events ist die Such-Übersicht von PHPStorm dann doch ein wenig „unpraktisch“. Wenn wir kurz darüber nachdenken was die Suche von PHPStorm tut, können […]