labels for phpfmt.