adding php library