some tools for PHP