php extension changes