Update php-libraries.txt