Add PHP libraries