Update php-libraries.txt

I use this userfull lightweight yii extension, maybe others like too..