update php extension