Du verwendest einen veralteten Browser. Es ist möglich, dass diese oder andere Websites nicht korrekt angezeigt werden. Du solltest ein Upgrade durchführen oder einen alternativen Browser verwenden.
Ich hab mir erstmal den alten wieder draufgemacht.
Das Syntaxhighlighting ist bei PHP sehr komisch .. keine Ahnung ob das so gewollt ist. Falls ja, friemel ich aus dem alten Programm die für das Highlighting verantwortliche PList raus und fummel die ins neue Programm ein