Update source/drivers/php-libraries.txt