add php extension.