A "meta-port" to install PHP extensions
