replace html with php extension