Add php*-propro PECL extension