Fix PHP code