PHP5 and some tools