add PHP library