File Contents: //opt/alt/php55/etc/php.d.all/bitset.ini