Fix PHP format