PHP library is added