Add PHPDoc for setCaseSensitive