PHP library used by vigattin.com