this is a PHP tool class