PHP : fix ;