Fix php syntax