php5 tool