Add php mongodb extension