Add php*-spl-types PECL extension