Provides the "Collections" library as a PHP extension.