Fixed extension updates to PHP dev opts