PHP extensions upgrade