Add a new PHP library