php restart after extensions update