add php extension info