PHP Extensions Some PHP extensions (usually Pecl extensions) for you to wget from your pipeline, to avoid compilation times yourself. Maybe. If this works.