Re[4]: [php] besserer php-Editor (war Ich flipp aus)

[Gerhard Wendebourg]

Dank fuer den Tip;
gibt es fuer den UE auch spez. PHP-Plugins (fuers Highlighting), und falls
ja, wo zu finden ?

Gruss / GW