Fix PHP braces being red again