added mongo extension

Mongo extension for PHP has been added.