Fix php syntax error