Update php-libraries.txt

add a library names 'mongodm'