[php-extensions]
comment=PHP extensions
paths=/usr/local/lib/php/extensions, /usr/lib/php/extensions