added php MongoDB extension
Update php.ini

typo
Merge pull request #1111 from cm-jan/mongodb-for-travis

added php MongoDB extension