Changed everything to PHP extensions