new php plugin & indent html plugin