Generic stand-alone tools for PHP