Syntax change to PHP