updating PHP library