some php environment tools